Re: [spring] [Editorial Errata Reported] RFC7855 (5384)

James,

I believe "iff" was intended as written.

https://en.wikipedia.org/wiki/If_and_only_if

Adrian

> -----Original Message-----
> From: spring [mailto:spring-bounces@ietf.org] On Behalf Of RFC Errata System
> Sent: 08 June 2018 09:11
> To: sprevidi@cisco.com; cfilsfil@cisco.com; bruno.decraene@orange.com;
> stephane.litkowski@orange.com; Martin.Horneffer@telekom.de; rjs@rob.sh;
> db3546@att.com; aretana.ietf@gmail.com; martin.vigoureux@nokia.com;
> bruno.decraene@orange.com; robjs@google.com
> Cc: spring@ietf.org; rfc-editor@rfc-editor.org; jwbensley@gmail.com
> Subject: [spring] [Editorial Errata Reported] RFC7855 (5384)
> 
> The following errata report has been submitted 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
> 
> --------------------------------------
> Type: Editorial
> Reported by: James Bensley <jwbensley@gmail.com>
> 
> 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?
> 
> Instructions:
> -------------
> This erratum is currently posted as "Reported". If necessary, please
> use "Reply All" to discuss whether it should be verified or
> rejected. When a decision is reached, the verifying party
> can log in to change the status and edit the report, if necessary.
> 
> --------------------------------------
> 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
> 
> _______________________________________________
> spring mailing list
> spring@ietf.org
> https://www.ietf.org/mailman/listinfo/spring