7.12, 7.13 refined and tested in the worksheet