Figure 1: Verification paradigm.