Start with:
Change it to:

	QED

CURRENT:
GOAL:

Back to index