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