misc/Inspect: filter-filter.
almost-full/AlmostFullInduction: plus-mod-wraparound.