Lifting Argument Verification and Reporting Protocol | Lifting Argument | Mathematics | NEROS