How Verification Works