Revert "Revert "Revert "The hypotheses get weaker all the time!"""

This reverts commit 5312fdb3f13c6d2e32319e560d2fdc100607b84b.

Conflicts:
	calgary.tex