Guy proofs -not fully edited