The " existence " Category