Filtering for trait Symbols equal and lyre