Update exercise 1.2.4, add exercises 1.2.5--7