Filtering for trait Body equal c(@)(@)