Add skeletons for Exercises 1.2.5--7