BiblicalLogic: Assumptions & Axioms 4 -H4C