two new proofs ready for final review!