Proof fix