  \lobster \llama \lion \scorpion \hat{P}_{\uparrow} \equiv |{\uparrow}\rangle\!\langle {\uparrow}|\otimes I_1; \; \; \;\hat{P}_{\downarrow} \equiv |{\downarrow}\rangle\!\langle{\downarrow}| \otimes I_1\label{pdef}