This is a special post for quick takes by Nisan. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
Agents who model each other can be modeled as programs with access to reflective oracles. I used to think the agents have to use the same oracle. But actually the agents can use different oracles, as long as each oracle can predict all the other oracles. This feels more realistic somehow.