((\x \x 3) (' a))