Progress on Hartl tutorial (to ch. 10)