Completeness relation and projective measurement operators on Hilbert space I have a question about a passage in the Book Quantum Computation and Quantum Information
Textbook by I. Chuang and M, Nielsen. My query is about a passage on page 86 of the 10th edition:

Distinguishability, like many ideas in quantum computation and quantum information, is most easily understood using the metaphor of a game involving two parties, Alice and Bob. Alice chooses a state $|\psi_i\rangle ~(1 \le i \le n)$ from some fixed set of states known to both parties. She gives the state $|\psi_i\rangle$ to Bob, whose task it is to identify the index $i$ of the state Alice has given him.
Suppose the states $|\psi_i\rangle$ are orthonormal. Then Bob can do a quantum measurement to distinguish these states, using the following procedure. Define measurement operators $M_i\equiv |\psi_i\rangle\langle\psi_i|$, one for each possible index $i$, and an additional measurement operator $M_0$ defined as the positive square root of the positive operator $I - \sum_{i\ne 0}|\psi_i\rangle\langle\psi_i|$. These operators satisfy the completeness relation, and if the state $|\psi_i$ is prepared then $p(i) = \langle \psi_i|M_i|\psi_i\rangle = 1$, so the result $i$ occurs with certainty. Thus, it is possible to reliably distinguish the orthonormal states $|\psi_i\rangle.$

Why does $M_0$ need to be the positive square root of the positive operator $\mathbb{1}-\sum_{i \neq 0}  |\psi_i\rangle\langle\psi_i|$?
If $M_i:= |\psi_i\rangle\langle\psi_i|$ wouldn't $\mathbb{1}-\sum_{i \neq 0}  |\psi_i\rangle\langle\psi_i|+ \sum_{i=1}^n  |\psi_i\rangle\langle\psi_i|=\mathbb{1}-\sum_{i \neq 0}  |\psi_i\rangle\langle\psi_i|+\sum_{i=1}^n M_i=\mathbb{1}$ already?
I feel like I am missing something super obvious here, but I just cannot figure it out. 
 A: So there are certainly some really strange aspects of that passage, for example that $i \ne 0$ is redundant.
The basic reason to define $M_0$ as $$M_0 = I - \sum_{i=1}^n M_i $$ is that the $n$ different states $|\psi_i\rangle$ probably do not form a complete basis for your Hilbert space.
The square root described is actually redundant; that is, if these operators are orthonormal then there should be some basis $|n\rangle$ where $|\psi_i\rangle = |i\rangle$ but $i$ continues on past this over the whole Hilbert space, and then $I - \sum_i |i\rangle\langle i| = \operatorname{diag}(0,0,\dots 0, 1, 1, \dots)$ in this basis, and that operator is always going to be equal to its square root.
For example if we have two qubits we might set up the situation with $$|\psi_1\rangle = \sqrt{\frac12} |00\rangle +  \sqrt{\frac12} |11\rangle\\
|\psi_2\rangle = \sqrt{\frac12} |01\rangle - \sqrt{\frac12} |10\rangle$$
and then we would have in matrix notation$$
|\psi_1\rangle\langle\psi_1|  = \frac12\begin{bmatrix}1&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&1\end{bmatrix}\\
|\psi_2\rangle\langle\psi_2|  = \frac12\begin{bmatrix}0&0&0&0\\0&1&-1&0\\0&-1&1&0\\0&0&0&0\end{bmatrix}\\
$$
But if you want to build a measurement apparatus out of detecting these two states as "1" and "2" you need to be able to define what that measurement apparatus will do if I hand you instead the state $$\sqrt{\frac12} |00\rangle - \sqrt{\frac12} |11\rangle,$$ even though that state will not occur when Alice and Bob are playing this “game.” Like, I steal your apparatus after the game and just feed this state into it, what does it read out?
The authors choose to just map all of those “other” states to the measurement outcome 0. So they form the matrix $$M_0 = \frac12\begin{bmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{bmatrix}$$based on a general idea that when we add together the squares of all of the measurement operators we should get $I$, and then they take a trivial square root of it (in this case it can be seen quite directly that $(M_0)^2 = M_0$ and therefore defining $M_0^{1/2} = M_0$ is perfectly adequate as a square root of itself).
A: Completeness means that all operators associated with measurements outcomes sum to the identity $I$. For an arbitrary set of $\left|\psi_{i=1,...,n}\right\rangle $ the operators
$$M_i=\left|\psi_i\right\rangle\left\langle \psi_i \right|$$ 
need not sum to $I$. For that purpose we add one more operator, namely
$$M_0=I-\sum_{i=1,...,n}M_i$$ 
and then 
$$I=\sum_{i=0,...,n}M_i$$ 
