Add Exists and ForAll functions for testing element membership