f
(2) yields a function.