See associated comments in other spec. Similar comments in this section.