https://peeterjoot.com/2015/07/22/bra-ket-manipulation-problems/