7.4 Verification Problems