[ShamelessC]

You may not consider it as cheating, but that's a reasonable interpretation barring pedantry and is likely what the parent comment was referring to.

[Kranar]

It's no more cheating than the fact that 1 = 1/2 + 1/4 + 1/8 + 1/16 + ...

Despite the fact that you can never actually add up an infinite number of terms one by one, you can however, compute what the limit of the sum will be in a finite amount of time. The same principle applies to this simulation, in which it is computing the limit of the process.

[samatman]

Eliding intermediate strings of a term rewriting system when you can prove the answer without them isn't cheating in any sense of the term.

[ShamelessC]

My point was that while it’s not cheating, you can easily infer “what they meant”, and as such don’t need to defend it’s lack of cheating.