@misc{indiciaeed61da17eb74,
  title = {Normalization by Evaluation with Substitutions as Operations},
  author = {Jason Z. S. Hu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.21131},
  note = {Source identifier: 2610.21131}
}