this will need renaming too, if we rename `filter`