Re: NEW ISSUE: Define "ought to"

Julian Reschke <julian.reschke@gmx.de> Tue, 30 July 2013 20:21 UTC

Return-Path: <ietf-http-wg-request@listhub.w3.org>
X-Original-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Delivered-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E826F21F91B7 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Tue, 30 Jul 2013 13:21:28 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -10.291
X-Spam-Level:
X-Spam-Status: No, score=-10.291 tagged_above=-999 required=5 tests=[AWL=0.308, BAYES_00=-2.599, RCVD_IN_DNSWL_HI=-8]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id MvpdJiKDd+M7 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Tue, 30 Jul 2013 13:21:23 -0700 (PDT)
Received: from frink.w3.org (frink.w3.org [128.30.52.56]) by ietfa.amsl.com (Postfix) with ESMTP id 197BB11E811E for <httpbisa-archive-bis2Juki@lists.ietf.org>; Tue, 30 Jul 2013 13:21:22 -0700 (PDT)
Received: from lists by frink.w3.org with local (Exim 4.72) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1V4GPI-00021a-EX for ietf-http-wg-dist@listhub.w3.org; Tue, 30 Jul 2013 20:20:32 +0000
Resent-Date: Tue, 30 Jul 2013 20:20:32 +0000
Resent-Message-Id: <E1V4GPI-00021a-EX@frink.w3.org>
Received: from lisa.w3.org ([128.30.52.41]) by frink.w3.org with esmtp (Exim 4.72) (envelope-from <julian.reschke@gmx.de>) id 1V4GP9-0001yM-06 for ietf-http-wg@listhub.w3.org; Tue, 30 Jul 2013 20:20:23 +0000
Received: from mout.gmx.net ([212.227.17.22]) by lisa.w3.org with esmtp (Exim 4.72) (envelope-from <julian.reschke@gmx.de>) id 1V4GP8-0005Er-1O for ietf-http-wg@w3.org; Tue, 30 Jul 2013 20:20:22 +0000
Received: from [192.168.2.117] ([93.217.107.159]) by mail.gmx.com (mrgmx003) with ESMTPSA (Nemesis) id 0M0gcI-1UD6iD2N6E-00utco for <ietf-http-wg@w3.org>; Tue, 30 Jul 2013 22:19:55 +0200
Message-ID: <51F81FE9.5000003@gmx.de>
Date: Tue, 30 Jul 2013 22:19:53 +0200
From: Julian Reschke <julian.reschke@gmx.de>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130620 Thunderbird/17.0.7
MIME-Version: 1.0
To: cowwoc <cowwoc@bbs.darktech.org>
CC: ietf-http-wg@w3.org
References: <51F7D951.3050204@bbs.darktech.org> <51F7DBF5.3030403@gmx.de> <51F7E3DE.4020804@bbs.darktech.org> <51F7E4FC.2000404@gmx.de> <51F7E5FC.2050609@bbs.darktech.org> <51F80D0D.9000004@gmx.de> <51F81D34.4050700@bbs.darktech.org>
In-Reply-To: <51F81D34.4050700@bbs.darktech.org>
Content-Type: text/plain; charset="ISO-8859-1"; format="flowed"
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:ybcNzSDtXQNgBBIPX6kGRxGjLdJmZpfldoJSkAIuRJ7N9CcnSoo R9eeX3UCZWbuoqsJhixWK0l9ogSfF8dBROQ8W2QNyCjo6/2ablY8//wnfnv7IEMntSu7eCu yd9vI9kH6/h+bDLui7dIL22htWcgLlV5I/hwdHqqy67ID5U2IzhsrDAoJogJ+AVNHb62YuE pEospcZ1EY3uZbppXyyqQ==
Received-SPF: pass client-ip=212.227.17.22; envelope-from=julian.reschke@gmx.de; helo=mout.gmx.net
X-W3C-Hub-Spam-Status: No, score=-3.3
X-W3C-Hub-Spam-Report: AWL=-3.347, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001
X-W3C-Scan-Sig: lisa.w3.org 1V4GP8-0005Er-1O ed8a993a8b6b34d5385147eab9d40fa3
X-Original-To: ietf-http-wg@w3.org
Subject: Re: NEW ISSUE: Define "ought to"
Archived-At: <http://www.w3.org/mid/51F81FE9.5000003@gmx.de>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/18988
X-Loop: ietf-http-wg@w3.org
Resent-Sender: ietf-http-wg-request@w3.org
Precedence: list
List-Id: <ietf-http-wg.w3.org>
List-Help: <http://www.w3.org/Mail/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>

On 2013-07-30 22:08, cowwoc wrote:
> On 30/07/2013 2:59 PM, Julian Reschke wrote:
>> On 2013-07-30 18:12, cowwoc wrote:
>>>      I understand this line of reasoning for MUST, but I fail to see the
>>> logic for SHOULD which by definition (being optional) does not "impose a
>>
>> No, SHOULD is not "optional". MAY is optional.
>>
>>> particular method on implementers where the method is not required for
>>> interoperability".
>>>
>>>      Are you looking for a way to say "this can be implemented one many
>>> ways, one approach is to X"?
>>
>> No, "ought to" means "should", we just want to avoid the confusion
>> with a BCP14-SHOULD.
>>
>> Best regards, Julian
>
>      My interpretation of "SHOULD" as defined by
> http://tools.ietf.org/html/bcp14 is that it is a combination of "MAY"
> and "RECOMMENDATION". Meaning, the reader is encouraged to do something,

3. SHOULD   This word, or the adjective "RECOMMENDED", mean that there
    may exist valid reasons in particular circumstances to ignore a
    particular item, but the full implications must be understood and
    carefully weighed before choosing a different course.

...so should is a recommendation. MAY allows something.

> but may choose to do otherwise if understand the consequences of doing
> so. The definition says nothing about the reasons for the recommendation
> (whether they are related to interoperability or not).

Again, from RFC 2119:

    Imperatives of the type defined in this memo must be used with care
    and sparingly.  In particular, they MUST only be used where it is
    actually required for interoperation or to limit behavior which has
    potential for causing harm (e.g., limiting retransmisssions)  For
    example, they must not be used to try to impose a particular method
    on implementors where the method is not required for
    interoperability.


>      I argue that your (new) definition for "SHOULD" is not based on
> bcp14. If you wish to use it in this manner, I recommend providing your
> own definition which explicitly states that "SHOULD" relates to
> interoperability concerns and "should"/"ought to" mean the same thing
> but without reference to interoperability concerns. As it stands, the
> current document is unnecessarily confusing.

I believe we are using SHOULD exactly the way as described in Sections 3 
and 6 of RFC 2119.

Best regards, Julian