\right) {|r\rangle}_M \xrightarrow{Schrödinger} \sum_i c_i {|a_i\rangle}_S {|a_i\rangle}_M .$$ Therefore, the prediction of the theory is that the final state of the measurement is a superposition of different (macroscopic) states for $M$, which is not what we observe in the lab. Note however that Schlosshauer’s way of stating the measurement problem, i.e., the particular list of facts he chooses regarding the incompatibility between theory and experience, is suspiciously convenient for decoherence in light of what it is supposed to achieve (i.e., suppression of macroscopic interference and selection of a preferred basis). That is, from among all the discrepancies between a purely unitary formalism and experience, he chooses to highlight precisely those that exactly correspond to what he believes decoherence explains. For example, he highlights the absence of macroscopic interference but it is more than an absence of interference that is observed but not predicted. In fact, in order to claim that interference does not occur we would need to perform the appropriate experiments, but the discrepancy between experience and the predictions of a purely unitary quantum theory is there even if we do not perform such experiments. What we actually see is the absence of superpositions of $M$ in certain bases.

