Fix a bug that made totality lemmas appear unproved