TY - RPRT TI - Tomter's example revisited AU - Danyu Zhang PY - 2026 UR - https://arxiv.org/abs/2608.11097 ID - 2608.11097 ER -