Kaela & Dan - proofs