It's very frustrating to try to read through a derivation graph full of derivations that are all just called "hook", so let's try to avoid that.
It's very frustrating to try to read through a derivation graph full of derivations that are all just called "hook", so let's try to avoid that.