A pseudo-relation that takes a coll and ensures that the goal g succeeds on every element of the collection.