Subject: [spring] [Errata Rejected] RFC7855 (5384)

From: RFC Errata System <[email-masked]>
Date: Sat, 3 Nov 2018 04:14:14 -0700 (PDT)

The following errata report has been rejected for RFC7855,
"Source Packet Routing in Networking (SPRING) Problem Statement and Requirements".

--------------------------------------
You may review the report below and at:
http://www.rfc-editor.org/errata/eid5384

--------------------------------------
Status: Rejected
Type: Editorial

Reported by: James Bensley <[email-masked]>
Date Reported: 2018-06-08
Rejected by: Martin Vigoureux (IESG)

Section: 3.3.1.1.1

Original Text
-------------
      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}.

Corrected Text
--------------
      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

--------------------------------------
RFC7855 (draft-ietf-spring-problem-statement-08)
--------------------------------------
Title               : Source Packet Routing in Networking (SPRING) Problem Statement and Requirements
Publication Date    : May 2016
Author(s)           : S. Previdi, Ed., C. Filsfils, Ed., B. Decraene, S. Litkowski, M. Horneffer, R. Shakir
Category            : INFORMATIONAL
Source              : Source Packet Routing in Networking
Area                : Routing
Stream              : IETF
Verifying Party     : IESG