@misc{indiciaea56dd331da58,
  title = {Most properties are undecidable even in \$\textbackslash{}mathop\{\textbackslash{}mathsf\{NExt\}\} \textbackslash{}mathsf\{Grz\}\_t\$},
  author = {Qian Chen and Tenyo Takahashi},
  year = {2026},
  url = {https://arxiv.org/abs/2608.30816},
  note = {Source identifier: 2608.30816}
}