still in the middle of the proof.