BiblicalLogic: Assumptions & Axioms 3 -H4C