Doing exists() based in forall() (somewhat...)