axiom-injection-methodology

Inject axioms into operational context using structured methodology.