Anne Grau Proofs