Cut Elimination Execution Protocol | Cut Elimination | Mathematics | NEROS