Axiom Replacement Protocol for Structured Analytical Execution | Axiom Replacement | Mathematics | NEROS