Read Chapter 2 of Gunter's textbook. From Chapter 2 of Gunter exercises 2.3 and 2.5 (on pages 46 and 47) exercise 2.10 (on page 60)