Cut Elimination Protocol Design | Cut Elimination | Mathematics | NEROS