to state the problem clearly, it is crucial to first specify in detail the theoretical framework in question. However, given the proliferation of views regarding quantum mechanics, it is no wonder that there exists an accompanying proliferation of ways to state the problem. And given that many of these different ways to present the quantum formalism are not always compatible among themselves, it is, again, no wonder that the many different ways to present the measurement problem are also not compatible among themselves. For example, in terms of the standard interpretation discussed above, the problem manifests as the fact that the formalism crucially depends on the notion of measurement, but that such notion is never precisely defined within the theory.[^2] The result is a formalism that, under some circumstances, is vague. To other characterizations of quantum mechanics correspond different formulations of the measurement problem: in Bohr’s formulation, the problem manifests as an ambiguity regarding where the classical-quantum cut should be drawn, and, in a theory with purely unitary evolution (like the one considered within the decoherence program) it manifests as a mismatch between experience and some predictions of the theory (e.g., Schrödinger cat states).

Among all the formulations of the 