:f = $(x)x*x :$g(x) @x*x |{f(5)} = {g(5)} |{f(2)} = {g(2)} :y = 5 :h = $(x)x*x+y | {h(3)} == 14 y = 7 | {h(5)} == 32 :i = $y*y | {i!} == 49