Filtering for trait Prop equal minidot o2