that apply a predicate on all members of a list.

All predicates support partial application in the Goal argument. This means that these calls are identical: