Relative Consistency Proof Protocol for Structured Analytical Execution | Relative Consistency Proof | Mathematics | NEROS