Comment by gus_massa

I tried to pick an easy one: "x=y => x*z=y*z":

http://mmlquery.mizar.org/mmlquery/fillin.php?entry=SURREALR...

Why it says "sureal"?