Kiya and Dolly Proofs