Universal Property Argument Validation and Optimization Protocol | Universal Property Argument | Mathematics | NEROS