isn't it that you must have a revocation list in many cases? if you cannot get from N to 1 or 1 to 0 states, if you're just going from N to N-1>1, you haven't materially decreased your statefulness
But the revokation list is always going to be orders of magnitude smaller than the list of active sessions.
But the revokation list is always going to be orders of magnitude smaller than the list of active sessions.