Ayres proofs -not fully edited