complement existence quantor