Filtering for trait Memo equal axiomatic