FORMAL-LAGRANGIAN POLICY OPTI | Pangram Labs