Hudson proofs -not fully edited