Updated exists() to use forall()