Figure 3: PIL verification paradigm.