[rjakob]

We are already looking into that: https://github.com/robertjakob/rigorous/tree/main/Agent2_Out...

Would be great to see contributions from the community!