Filtering for trait Prop equal magnet