Title: Verification and non-verification