Wiki Jurídica

Cumprimento de sentença — Execução - Cumprimento de Sentença — TRE-AC 06013066720246010004

Classe: Cumprimento de sentençaÓrgão: 4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONAGrau: G1Data de ajuizamento: 2024-09-21

Proveniência: CNJ/DataJud — metadados processuais públicos. SHA-256 da fonte preservada: 7d9fd019c7a3b89929cdff4e7c5a1a8281f564a7aa29abbd3fa6e4462dae338d

Registro público original completo (JSON)

Versão da fonte por SHA-256 (JSON público)

Comentário de Rafael Toledo

Análise autoral de leitura documental, separada do teor oficial.

A leitura do processo 06013066720246010004 no TRE-AC começa pela combinação de classe e assunto: “Cumprimento de sentença” e “Execução - Cumprimento de Sentença”. A classe identifica a modalidade cadastrada; o assunto situa a matéria informada. Essa combinação organiza a pesquisa, mas a solução jurídica precisa ser extraída do ato decisório e de seus fundamentos.

O órgão indicado é “4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA”. Esse vínculo permite localizar a unidade registrada e acompanhar seus atos. A identificação do órgão não informa, por si, o conteúdo de uma decisão ou o acolhimento de um pedido.

O quadro preservado reúne 167 movimentações. Entre os marcos datados disponíveis, consta “Cumprimento de Levantamento da Suspensão”, em 2026-10-02. Para compreender seu efeito concreto, é necessário ler o ato correspondente e seus complementos; a etiqueta da movimentação não contém toda a fundamentação.

Minha análise aqui é de leitura do registro processual: os dados preservados pelo DataJud permitem examinar classificação e tramitação. Como esta representação não traz a fundamentação integral de uma decisão, não atribuo às partes uma tese acolhida nem um resultado. A fonte oficial permite conferir a classificação e a tramitação preservadas.

Representação pública do registro (JSON, versão da fonte por SHA-256)

O SHA-256 da fonte identifica o original preservado.

API oficial do DataJud (consulta autenticada)

Identidade e proveniência do comentário

Autoria: Rafael Toledo. Versão: 2026-10-22.1. SHA-256 da fonte: 7d9fd019c7a3b89929cdff4e7c5a1a8281f564a7aa29abbd3fa6e4462dae338d. SHA-256 do comentário: f760d9459c05d8df5d0aa9ca5d03c7b145de9e1daf2171c886605574b53b40f6.

O que os atos públicos documentam

Seleção factual de 167 movimentações da fonte DataJud. Os campos citados abaixo têm apontadores para o registro original; esta seleção não substitui os atos integrais.

Assuntos registrados pela fonte

Sequência de atos identificados

  1. 2024-09-21 — Distribuição; sorteio (/resposta/corpo/movimentos/0/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/0
  2. 2024-09-21 — Liminar Fonte: /resposta/corpo/movimentos/129
  3. 2024-12-17 — Trânsito em julgado Fonte: /resposta/corpo/movimentos/37
  4. 2025-05-19 — Arquivamento Fonte: /resposta/corpo/movimentos/140
  5. 2026-05-08 — Conclusão; para decisão (/resposta/corpo/movimentos/14/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/14
  6. 2026-05-18 — Petição; retirado de pauta (/resposta/corpo/movimentos/119/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/119
  7. 2026-05-28 — Petição; Contraminuta (/resposta/corpo/movimentos/122/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/122
  8. 2026-05-29 — Conclusão; para decisão (/resposta/corpo/movimentos/15/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/15
  9. 2026-06-11 — Por decisão judicial Fonte: /resposta/corpo/movimentos/157
  10. 2026-06-11 — Por decisão judicial Fonte: /resposta/corpo/movimentos/159
  11. 2026-06-29 — Petição; Contraminuta (/resposta/corpo/movimentos/124/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/124
  12. 2026-07-01 — Por decisão judicial Fonte: /resposta/corpo/movimentos/161
  13. 2026-07-28 — Petição; Contraminuta (/resposta/corpo/movimentos/125/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/125
  14. 2026-08-01 — Por decisão judicial Fonte: /resposta/corpo/movimentos/163
  15. 2026-09-01 — Petição; Contraminuta (/resposta/corpo/movimentos/126/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/126
  16. 2026-09-02 — Por decisão judicial Fonte: /resposta/corpo/movimentos/165
  17. 2026-09-30 — Petição; Contraminuta (/resposta/corpo/movimentos/127/complementosTabelados/0/nome) Fonte: /resposta/corpo/movimentos/127
  18. 2026-10-02 — Cumprimento de Levantamento da Suspensão Fonte: /resposta/corpo/movimentos/166

Questões jurídicas para discussão a partir dos atos

São perguntas de estudo ancoradas nos campos da fonte, sem afirmar pedidos, fundamentos ou resultado que o DataJud não fornece.

  1. O ato correspondente ao registro «Liminar» em 2024-09-21 trata do assunto oficial «Execução - Cumprimento de Sentença»? Se tratar, quais pedidos e fundamentos constam do ato? Fonte: /resposta/corpo/assuntos/0/nome, /resposta/corpo/movimentos/129
  2. O ato correspondente ao registro «Trânsito em julgado» em 2024-12-17 trata do assunto oficial «Execução - Cumprimento de Sentença»? Se tratar, a qual pronunciamento se refere esse registro? Fonte: /resposta/corpo/assuntos/0/nome, /resposta/corpo/movimentos/37
  3. O ato correspondente ao registro «Arquivamento» em 2025-05-19 trata do assunto oficial «Execução - Cumprimento de Sentença»? Se tratar, qual é o alcance do ato para esse assunto? Fonte: /resposta/corpo/assuntos/0/nome, /resposta/corpo/movimentos/140

Este dossiê organiza campos públicos do DataJud; nomes de movimentos e complementos não substituem peças, decisões ou seus fundamentos. Nenhum resultado foi inferido. Os marcos são ordenados pelos instantes informados com fuso explícito; instantes iguais preservam a ordem da fonte.

Qualificação temporal da fonte

Referência documental: @timestamp da fonte

Campo na fonte (JSON Pointer)
/resposta/corpo/@timestamp
Valor literal da fonte
2026-10-05T00:00:06.110000Z
Formato
data e hora ISO 8601
Data normalizada, derivada do literal
2026-10-05
Calendário
válido no calendário gregoriano
Leitura do valor
formato e componentes reconhecidos
Fuso
informado (Z)

Ajuizamento informado pela fonte

Campo na fonte (JSON Pointer)
/resposta/corpo/dataAjuizamento
Valor literal da fonte
20240921044301
Formato
compacto de 14 dígitos
Data normalizada, derivada do literal
2024-09-21
Calendário
válido no calendário gregoriano
Leitura do valor
formato e componentes reconhecidos
Fuso
não informado
Relação com a referência
data civil escrita anterior à referência documental
Base da comparação
Comparação das datas civis escritas, sem atribuir ou converter fuso. Não estabelece ordem entre instantes nem dentro do mesmo dia.

SHA-256 da fonte preservada: 7d9fd019c7a3b89929cdff4e7c5a1a8281f564a7aa29abbd3fa6e4462dae338d

Formato, calendário e relação temporal descrevem os valores da fonte; não atestam a ocorrência nem a validade jurídica do ajuizamento. O ano informado permanece preservado.

Quadro do processo segundo o CNJ/DataJud

Registro de 167 movimentações na fonte pública, sem inferência do resultado da causa.

Período de atos com datas cronologicamente válidas: 2024-09-21 a 2026-10-02.

Marcos processuais recentes registrados pela fonte

2026-10-02
Cumprimento de Levantamento da Suspensão (TPU 12066)
2026-09-30
Petição (TPU 85)
2026-09-02
Por decisão judicial (TPU 898)
2026-09-01
Petição (TPU 85)
2026-09-01
Cumprimento de Levantamento da Suspensão (TPU 12066)
2026-08-01
Por decisão judicial (TPU 898)
2026-08-01
Cumprimento de Levantamento da Suspensão (TPU 12066)
2026-07-28
Petição (TPU 85)
2026-07-01
Por decisão judicial (TPU 898)
2026-07-01
Cumprimento de Levantamento da Suspensão (TPU 12066)
2026-06-29
Petição (TPU 85)
2026-06-11
Por decisão judicial (TPU 898)

DataJud fornece classes, assuntos, órgãos e movimentações, não o inteiro teor decisório, a fundamentação ou o resultado final. O status de recurso, sentença ou êxito não foi inferido. Os marcos são ordenados pelos instantes informados com fuso explícito; instantes iguais preservam a ordem da fonte. Os extremos exibidos como primeiro e último ato ou movimento são a menor e a maior data civil escritas na fonte, e não o primeiro e o último instante.

Assuntos

Execução - Cumprimento de Sentença

Movimentações públicas — parte 1 de 5

Atos 1–40 de 167. A sequência integral está disponível nas partes numeradas e no registro JSON original conferido por SHA-256.

  1. 2024-09-21T04:43:01.000Z — Distribuição (TPU 26)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 2,
      "descricao": "tipo_de_distribuicao_redistribuicao",
      "nome": "sorteio",
      "valor": 2
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  2. 2024-09-21T08:23:55.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  3. 2024-09-27T06:19:46.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  4. 2024-12-11T14:42:35.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  5. 2024-12-18T09:53:15.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  6. 2025-01-27T11:04:49.000Z — Remessa (TPU 123)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 18,
      "descricao": "motivo_da_remessa",
      "nome": "em grau de recurso",
      "valor": 38
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  7. 2025-03-17T07:43:12.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  8. 2025-05-17T09:18:39.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  9. 2025-12-19T11:09:10.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  10. 2026-02-11T13:20:40.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  11. 2026-03-09T08:10:18.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  12. 2026-03-19T11:19:30.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  13. 2026-04-15T09:18:02.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  14. 2026-04-28T07:11:45.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  15. 2026-05-08T07:17:52.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  16. 2026-05-29T09:21:54.000Z — Conclusão (TPU 51)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 3,
      "descricao": "tipo_de_conclusao",
      "nome": "para decisão",
      "valor": 6
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  17. 2024-09-22T09:24:24.000Z — Documento (TPU 581)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  18. 2024-09-22T10:18:11.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  19. 2024-09-22T10:18:13.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  20. 2024-09-22T10:18:14.000Z — Publicação (TPU 92)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  21. 2024-09-22T11:22:18.000Z — Documento (TPU 581)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  22. 2024-09-24T22:41:31.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  23. 2024-09-25T02:30:09.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  24. 2024-09-25T08:20:03.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  25. 2024-09-26T19:04:54.000Z — Documento (TPU 581)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 4,
      "descricao": "tipo_de_documento",
      "nome": "retirado de pauta",
      "valor": 101
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  26. 2024-09-27T02:30:06.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  27. 2024-10-03T20:09:26.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 4,
      "descricao": "tipo_de_documento",
      "nome": "Contraminuta",
      "valor": 209
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  28. 2024-12-14T15:16:42.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  29. 2024-12-14T15:16:42.000Z — Publicação (TPU 92)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  30. 2024-12-14T15:16:43.000Z — Publicação (TPU 92)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  31. 2024-12-14T15:16:43.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  32. 2024-12-16T02:30:16.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  33. 2024-12-16T02:31:56.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  34. 2024-12-16T02:31:57.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  35. 2024-12-16T02:31:58.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  36. 2024-12-16T02:31:58.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  37. 2024-12-16T02:31:59.000Z — Decurso de Prazo (TPU 1051)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  38. 2024-12-17T13:05:21.000Z — Trânsito em julgado (TPU 848)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  39. 2024-12-17T23:38:48.000Z — Petição (TPU 85)
    Detalhes estruturados do andamento
    {
  "complementosTabelados": [
    {
      "codigo": 4,
      "descricao": "tipo_de_documento",
      "nome": "Embargos em Ação Penal Militar",
      "valor": 242
    }
  ],
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}
  40. 2024-12-18T10:39:17.000Z — Expedição de documento (TPU 60)
    Detalhes estruturados do andamento
    {
  "orgaoJulgador": {
    "codigo": "16029",
    "nome": "4 ZE - CARTÓRIO ELEITORAL DA 4ª ZONA"
  }
}

Casos reais relacionados: semelhanças e diferenças documentais

Relações por códigos oficiais TPU ou referências LexML coincidentes. Coincidências de campos não demonstram identidade da causa, do mérito ou do resultado e não são aconselhamento jurídico. Classes, tribunais e órgãos distintos são diferenças observáveis.