Fergus and Family Proofs