Add a pairing-propagation requirement.

Also refine the NFC use case's wording.
Add some acronyms and references.