  We can try to restore logical consistency by giving up the dynamical rule for contexts of type 2 (or, what amounts to the same thing, by denying that there are any such contexts), but then we have the problem of consistency with experience. For it was no mere blunder that that rule was included in the theory; we know what a system looks like when it is in an eigenstate of a given observable, and we know from looking that the measuring apparatus after measurement is in an eigenstate of the pointer observable. And so we know from the outset that if a theory tells us something else about the post-measurement states of measuring apparatuses, whatever that something else is, it is wrong.