pushed filterWith, filterNot, filterOr