Doug and Lily Proofs