[Petter Strandmarks test 3]
(x,y)
1
(Ey)[x = y^2].
finish
