f 1
. f = x -> x + a
. a = 2