(variables, formula)
return get_env().formula_manager.Exists(variables, formula)
r""".. math:: \exists v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)
r""".. math:: \exists v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)
r .. math :: \ exists v_1 \ cdots v_n . \ varphi ( v_1 \ cdots v_n )
def Exists(variables, formula):
    r""".. math:: \exists v_1, \cdots, v_n . \varphi(v_1, \cdots, v_n)"""
    return get_env().formula_manager.Exists(variables, formula)
def Exists ( variables , formula ) : return get_env ( ) . formula_manager . Exists ( variables , formula )