1-recfun. done.