Figure 19.42
Consistency Check