-Apparently, `__N__` will have to reduce to X. Therefore we should
-choose a skeleton for N that is consistent with what we have decided
-so far about the internal structure of X. We might like for N to
-match X in its entirety, but this would require N to contain itself as
-a subpart. So we'll settle for the more modest assumption that N
-matches the head of X:
+Apparently, `__N__` will have to reduce to `X`. Therefore we should
+choose a skeleton for `N` that is consistent with what we have decided
+so far about the internal structure of `X`. We might like for `N` to
+syntactically match the whole of `X`, but this would require `N` to contain itself as
+a subpart. So we'll settle for the more modest assumption (or guess) that `N`
+matches the head of `X`: