((\x ((\x a) 3)) 2)