History

for article: Ascending chain condition