(\x . \y . plus (plus x y) x) one two