Filtering for trait Core equal Gamma