https://peeterjoot.com/2015/08/13/heisenberg-picture-spin-precession/