V.P27 — Readout projects onto total entropy

Readout projects onto total entropy: the readout functor R satisfies R(S_def + S_ref) = R(S_def) + R(S_ref), but the individual projections R(S_def) and R(S_ref) are not separately accessible to any E1 measurement.