all proofs are correct now