remove leftover forAllNoShrink