[dmurray]

The minimal subset is too small. It should have a second client, to avoid solutions like "the client stores a copy of all the messages it sent, so it can detect the stale value".

[jeremyjh]

The theory has nothing to do with what the client knows. It’s only concerned with the server’s responses.