trying to make sense of these ...
finally got it! N.B.: better to build predicate and then use their names ...