存在的前提很复杂，