History

for article: Formal calculation