((% f. (f 3)) (% x. x + 2))
