private boolean Formula_0()
    {
      begin("");
      if (!next('(')) return rejectInner();
      if (!Formula()) return rejectInner();
      if (!Space()) return rejectInner();
      if (!BinaryCon()) return rejectInner();
      if (!Space()) return rejectInner();
      if (!Formula()) return rejectInner();
      if (!next(')')) return rejectInner();
      return acceptInner();
    }