This I think connects one more terminological distinction. When you talked earlier about something like "reasoning about the output of platonic computation" as a key insight that started your version of TDT, you meant basically the same thing as me talking about how even knowing about the existence of the other agent, little things that you can use to even talk about it, is already the logical dependence between you and the other agent that could in some cases be used to stage cooperation.