Just remembered why :exists is needed. or really [:not [:exists [...]]. Using only [:not [...]] means "bind anything which does not match", while [:not [:exists [...]] means "no binding match can be found". Is there another way to do the latter efficiently? I guess I could hack it using an accumulator.