let sq = fn x -> amb x or x*x in
sq (sq (sq 3))