Generic Object Existence Argument Execution Protocol | Generic Object Existence Argument | Mathematics | NEROS