Braxton's IHC Proofs