Comment by rjakob

Here is a description of how it works: https://github.com/robertjakob/rigorous/tree/main/Agent1_Pee...