https://peeterjoot.com/2015/07/27/bra-ket-and-spin-one-half-problems/