Lucy Proofs