(\x \x 3) 'a