A note on recursive functions