Equiconsistency Analysis Protocol for Structured Analytical Execution | Equiconsistency Analysis | Mathematics | NEROS