In https://github.com/runtimeverification/pl-tutorial/pull/3 we removed usages of the existing `SUBSTITUTION` module; we should update documentation to reflect this.
In #3 we removed usages of the existing
SUBSTITUTIONmodule; we should update documentation to reflect this.