Filtering for trait o equal k