predicates for set-like behaviour + solution 2 example
predicates for set-like behaviour + solution 2 example