BiblicalLogic: Assumptions & Axioms 7 -H4C