存在规范

existential specification