Erin Lambertson Proofs