https://123dok.net/document/zwvmkv7q-bounding-linear-head-reduction-and-visible-interaction-through-skeletons.html