Brody proofs -not fully edited