Working proofs (happy accidents):