BiblicalLogic: Assumptions & Axioms 6 -H4C