Difference between revisions of "Successor function"