Cut Elimination Review and Validation Protocol | Cut Elimination | Mathematics | NEROS