empty quantor ignored