Figure 11: Decidability