I am having trouble understanding why the protocol of Lao-Criger for injecting a magic state works. Indeed, the table supposed to explain the derivation has not helped me at all. Apart from the rules of stabilizer propagation in the Heisenberg picture that are a bit lacking from my side, I have trouble interpreting the last column of the table — that is supposed to show the quantum state has collapsed to the magic one. I interpret the multiple stabilizers of the last column to be those of the su