One CHEAT remaining in completeness proof.