Filtering for trait Int equal 6 INT