We should add an example here (maybe just add a note that we need an example) to clarify, since this section will be confusing. Luckily it mostly matters to LRS implementers, most people should find that the behavior is intuitive when observed.