I think this is more abstractly expressed by Lewis' Convention book. "Dogmas" as fulfilled expectation about other's expectation's expectation (and so on recur

I think this is more abstractly expressed by Lewis' Convention book. "Dogmas" as fulfilled expectation about other's expectation's expectation (and so on recursively ad infinitum). Necessary, in Lewis opinion, to solve coordination problems.