Filtering for trait interests equal theorems