Regularity Argument Execution Protocol | Regularity Argument | Mathematics | NEROS