In this subsection we treat a few more details about specification inheritance.
[[[Need to add something about avoiding capture in the desugaring.]]]
Go to the first, previous, next, last section, table of contents.