Bernal FamilyBorn familyHale extended familyLucaWannberg FamilyWannberg proofs