Figure 5:
PrePostVerify interface.