finished all the + proofs