Revert "The hypotheses get weaker all the time!"

This reverts commit 17bc2a7e67761b685eb7f36d2b9b76cb2ec9389b.