Restricted immediate versus deferred readout

The terminal carrier $A$ has been consumed. The additional retained factor to be removed is $S$, not $A$. If the immediate controller reads $R$ during continuation, this corollary does not apply. A record-dependent comparison requires different hypotheses.