if (not $is_seen{$case}++) { # etc