BiblicalLogic: Assumptions & Axioms 10 -H4C