filter + nonEmpty -> exists