Committing recfun