Pipeline Verification.