Glitches…appear in automated systems even when—indeed, precisely because—the [system] is working as expected. even when—indeed, precisely because—the type-checker is working as expected. They occupy a space between the intuitively true and the logically false—not true antinomies or logical errors, but uncanny experiences of what ought not to be. @2024dedeo