https://peeterjoot.com/2015/07/21/pauli-matrix-problems/
Pauli matrix problems