https://peeterjoot.com/2015/08/05/more-ket-problems/
More ket problems