chrisheads: proofs /couples