[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.