BiblicalLogic: Assumptions & Axioms 2 -H4C