[DEADMINCE]

> because there are only finitely many states, every computation must either halt or eventually revisit an earlier state and get stuck in a loop

Yet we know this doesn't happen in practice.

[krallja]

You just didn’t wait long enough.