Figure 9: The three-is-safe predicate functions for the eight queens problem.