Braxson proofs -not fully edited