Trey proofs -not fully edited