Lifting Argument Foundational Workflow | Lifting Argument | Mathematics | NEROS