implement existence quantor