Erica and Lucious Proofs