The filter() operator