Progress on Hartl tutorial (to ch. 11)