Helen Zuelke - Proofs