(\x \x x) '2 '4