Filtering for trait Holder equal $INJ