All you need to know about Pauli matrices