Start fixing the false weakening lemmas.