Verification by extraction