predicates don't collect with (co)