Added 'AllE' and 'AnyE'