fun: (+ 1 c)