Bohman Family Proofs