push @new, head(3, array_minus(@old, @new));