Proofs for Amanda T