Rohin Shah comments on Do what we mean vs. do what we say

[Rohin Shah]

I assume you’re talking about the particular “do what we say” subsystem described in the second last paragraph? If so, that seems plausibly right.