Pauli matrices
Using the Pauli matrices, take