exists fix to use forall