Pauli matrices
in terms of Pauli matrices.