Checking conditions over collections other than arrays is going to be necessary at some point.
To make 'forall' and 'exists' to work with linked lists, trees and other data structures language facilities for user
defined iterators are necessary.