Cover non-EXISTS conditions, too