Execrise 2.2 in chapter 2.3 Exercises is missing one fact. I guess it's going to be `wizard(harry)`... As it is, I get the following: ``` procedure `wizard(A)' does not exist Reachable from: magic(A) ```