Lily Proofs