RFC 7855, "Source Packet Routing in Networking (SPRING) Problem Statement and Requirements", May 2016

Errata ID: 5384
Status: Rejected
Type: Editorial
Publication Format(s) : TEXT
Reported By: James Bensley
Date Reported: 2018-06-08
Rejected by: Martin Vigoureux
Date Rejected: 2018-11-03

Section 3.3.1.1.1 says:

      C1k has a link to C2j iff k = j.

         The core nodes of a given region are directly connected.
         Inter-region links only connect core nodes of the same plane.

      {C1k has a link to C1j} iff {C2k has a link to C2j}.

It should say:

      C1k has a link to C2j if k = j.

         The core nodes of a given region are directly connected.
         Inter-region links only connect core nodes of the same plane.

      {C1k has a link to C1j} if {C2k has a link to C2j}.

Notes:

Does "iff" mean something special that is different to "if" or is this a typo? If the former, should it be called out in a glossary?
--VERIFIER NOTES--
"iff" means "if and only if"
This abreviation is part of the RFC Editor's well known ones.
Please see: https://www.rfc-editor.org/materials/abbrev.expansion.txt

Report New Errata