Phase 7 — Diagnosis and correctness