Further simplify by defining *(Pauli,Matrix).