Hohlakis Family Proofs - Summer 23