Source: https://cs.anu.edu.au/courses/comp4630/tutorials/CPLExercisesW1.pdf