History

for article: Successor function