History

for article: Prenex normal form