7.3. More Features

7.3.1. Controlling Backtracking

7.3.2. Operators