linearize.gfs.gold

?1 is even





exists x such that x is even





a





aa a





a b





abcd is string





100 is integer





12.4 is float





xyz is string