Progress on Hartl tutorial (to ch 8.3)