Simplifies code for clarity without changing behavior. Use when code works but is harder to read, maintain, or extend than it should be.