Fix proof.