Nicole & Joel {Proofs}