5: Pattern Match Exhaustivity: TERMINATED, TIMED_WAITING, BLOCKED