so we need \sNOT EXISTS