comment existence quantor