Re: Question about BCP 14 / RFC 8174
John C Klensin <john-ietf@jck.com> Fri, 29 August 2025 14:30 UTC
Return-Path: <john-ietf@jck.com>
X-Original-To: ietf@mail2.ietf.org
Delivered-To: ietf@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id D9DBC5A9F640 for <ietf@mail2.ietf.org>; Fri, 29 Aug 2025 07:30:54 -0700 (PDT)
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id bPl6cERx7Awe for <ietf@mail2.ietf.org>; Fri, 29 Aug 2025 07:30:54 -0700 (PDT)
Received: from bsa2.jck.com (bsa2.jck.com [70.88.254.51]) by mail2.ietf.org (Postfix) with ESMTP id 4848B5A9F63B for <ietf@ietf.org>; Fri, 29 Aug 2025 07:30:53 -0700 (PDT)
Received: from [198.252.137.10] (helo=PSB) by bsa2.jck.com with esmtp (Exim 4.82 (FreeBSD)) (envelope-from <john-ietf@jck.com>) id 1us07q-000PcH-Ly; Fri, 29 Aug 2025 10:30:46 -0400
Date: Fri, 29 Aug 2025 10:30:40 -0400
From: John C Klensin <john-ietf@jck.com>
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>, Brian E Carpenter <brian.e.carpenter@gmail.com>, Toerless Eckert <tte@cs.fau.de>
Subject: Re: Question about BCP 14 / RFC 8174
Message-ID: <138786D49F16401C8A7C6B86@PSB>
In-Reply-To: <LV8PR11MB8536396453A3D7E11DE8A48CB53AA@LV8PR11MB8536.namprd11.prod.outlook.com>
References: <aKzK5qdwLUHSa3JL@ubby> <CAC4RtVASn123qUSuFZg50wL4Nrjebz=QMf5AU=jeZLgQd5fsDg@mail.gmail.com> <9953f535-672f-49de-8b8f-9e1a471d97b8@gmail.com> <aLDiRY6Tw7PTKQoy@faui48e.informatik.uni-erlangen.de> <51f521aa-0b66-4f35-a9b1-815cb92a169e@gmail.com> <D739413C0AE13FFFFCB670A2@PSB> <LV8PR11MB8536396453A3D7E11DE8A48CB53AA@LV8PR11MB8536.namprd11.prod.outlook.com>
X-Mailer: Mulberry/4.0.8 (Win32)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
X-SA-Exim-Connect-IP: 198.252.137.10
X-SA-Exim-Mail-From: john-ietf@jck.com
X-SA-Exim-Scanned: No (on bsa2.jck.com); SAEximRunCond expanded to false
Message-ID-Hash: ECUHYSANGXPNOSPNUIMO42647VD4GKFV
X-Message-ID-Hash: ECUHYSANGXPNOSPNUIMO42647VD4GKFV
X-MailFrom: john-ietf@jck.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-ietf.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: ietf@ietf.org
X-Mailman-Version: 3.3.9rc6
Precedence: list
List-Id: "IETF-Discussion. This is the most general IETF mailing list, intended for discussion of technical, procedural, operational, and other topics for which no dedicated mailing lists exist." <ietf.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/ietf/vddd5A7oHfzxb5dGvTd0Sb_SzJc>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ietf>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Owner: <mailto:ietf-owner@ietf.org>
List-Post: <mailto:ietf@ietf.org>
List-Subscribe: <mailto:ietf-join@ietf.org>
List-Unsubscribe: <mailto:ietf-leave@ietf.org>
Rob,
That would certainly work for me. I look forward to the proposed
update to BCP 14 that makes that change, but hope it is quite clear
about the status of documents written after RFC 2119 using that
terminology and documents written before that, IIR back at least to
the 1980s, that used similar terminology and intended meanings (with
or without the caps).
Of course, given evolving rules in RSWG/RSAB, I suppose we could
track down all of those existing documents, or at least the
non-HISTORIC and non-Obsolete subset, and reissue them... but I hope
not.
My sense is that more rigorous application of the IESG's statement,
as pointed out (again) by Eric [1] would be, while not quite as good,
a lot less painful and confusing than trying to define words to mean
whatever we say they mean at the time we say (or write) them
(apologies to Humpty Dumpty).
john
[1]
https://mailarchive.ietf.org/arch/msg/ietf/vBMmEJNm4u68QNH_69UdD8YKXXc
--On Friday, August 29, 2025 10:24 +0000 "Rob Wilton (rwilton)"
<rwilton@cisco.com> wrote:
> I think that writing "MUST xxx unless yyy" is more precise and
> clear than" SHOULD xxx unless yyy".
>
> Picking up on Brian's prose, arguably writing "MUST xxx UNLESS
> yyy", "MUST NOT aaa UNLESS bbb" would be even clearer to
> readers. A slightly out-there suggestion could be to update RFC
> 2119 to remove SHOULD/SHOULD NOT and introduce MUST … UNLESS and
> MUST NOT … UNLESS as their replacements.
>
> That would make specifications more precise and prevent folks from
> using SHOULD to sit on the fence.
>
> Kind regards,
> Rob
>
>
>
> From: John C Klensin <john-ietf@jck.com>
> Date: Friday, 29 August 2025 at 03:49
> To: Brian E Carpenter <brian.e.carpenter@gmail.com>, Toerless
> Eckert <tte@cs.fau.de> Cc: ietf@ietf.org <ietf@ietf.org>
> Subject: Re: Question about BCP 14 / RFC 8174
>
>
> --On Friday, August 29, 2025 11:45 +1200 Brian E Carpenter
> <brian.e.carpenter@gmail.com> wrote:
>
>> Toerless, I agree with you but again, my concern is not really
>> about MUST/MANDATORY or MAY/OPTIONAL. It's about
>> SHOULD/RECOMMENDED, where it might often be better to write MUST...
>> UNLESS without BCP 14 really being needed.
>>
>> As in "You SHOULD look both ways before crossing the road" vs "You
>> MUST look both ways before crossing the road UNLESS you are being
>> chased by a grizzly bear." That's the BCP 14 interpretation of
>> SHOULD, but we have often seen evidence of developers interpreting
>> it as "You don't really have to look both ways before crossing the
>> road."
>
> And, although this has been said many times before, if we more often
> insisted on "SHOULD ... unless" discussions where they are possible
> -- e.g., "You SHOULD look both ways before crossing the road unless
> you are being chased by a dangerous animal" -- we'd probably have
> fewer misunderstandings of what SHOULD implies, in particular the
> misunderstanding about it having a definition closer to "we'd prefer
> that you do it that way, but it is really up to you".
>
> And I agree with Toerless, and apparently you, about the BCP 14
> language. I'd go a tad further and suggest it is better adapted to
> Technical Specifications than to Applicability Statements, better
> for Applicability Statements than to BCPs, and better for BCPs than
> Experimental or Informational documents. Maybe eventually a
> question for offspring-of-PROCON.
>
>> I think operators are much less likely to make that mistake,
>> whether the RFC cites BCP 14 or not.
>
> Probably.
>
> best,
> john
>
>
- Question about BCP 14 / RFC 8174 Nico Williams
- Re: Question about BCP 14 / RFC 8174 Simon Josefsson
- Re: Question about BCP 14 / RFC 8174 Salz, Rich
- Re: Question about BCP 14 / RFC 8174 Barry Leiba
- Re: Question about BCP 14 / RFC 8174 Brian E Carpenter
- Re: Question about BCP 14 / RFC 8174 Nico Williams
- Re: Question about BCP 14 / RFC 8174 Nico Williams
- Re: Question about BCP 14 / RFC 8174 Simon Josefsson
- Re: Question about BCP 14 / RFC 8174 Salz, Rich
- Re: Question about BCP 14 / RFC 8174 Nico Williams
- Re: Question about BCP 14 / RFC 8174 Salz, Rich
- Re: Question about BCP 14 / RFC 8174 John C Klensin
- Re: Question about BCP 14 / RFC 8174 Toerless Eckert
- Re: Question about BCP 14 / RFC 8174 Brian E Carpenter
- Re: Question about BCP 14 / RFC 8174 John C Klensin
- Re: Question about BCP 14 / RFC 8174 Carsten Bormann
- Re: Question about BCP 14 / RFC 8174 Eric Vyncke (evyncke)
- Re: Question about BCP 14 / RFC 8174 Rob Wilton (rwilton)
- Re: Question about BCP 14 / RFC 8174 John C Klensin
- Re: Question about BCP 14 / RFC 8174 Brian E Carpenter
- Re: Question about BCP 14 / RFC 8174 Christian Huitema
- Re: Question about BCP 14 / RFC 8174 Brian E Carpenter
- Re: Question about BCP 14 / RFC 8174 Joseph Potvin
- Re: Question about BCP 14 / RFC 8174 Michael Richardson
- Re: Question about BCP 14 / RFC 8174 Rob Wilton (rwilton)
- Re: Question about BCP 14 / RFC 8174 Christian Huitema
- Re: Question about BCP 14 / RFC 8174 John C Klensin
- Re: Question about BCP 14 / RFC 8174 Michael Richardson
- Re: Question about BCP 14 / RFC 8174 Carsten Bormann
- Towards Automated Discovery of Technical Standard… Joseph Potvin