Figure 3. Boolean checking.