ParentFull threadsamatman·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.View on HN