Several more proofs completed