Progress on Hartl tutorial (to ch. 9)