Liam Marcy Proofs