[mpls] Re: Deb Cooley's No Objection on draft-ietf-mpls-ri-rsvp-frr-18: (with COMMENT)

Chandrasekar Ramachandran <csekar@juniper.net> Wed, 12 June 2024 16:53 UTC

Return-Path: <csekar@juniper.net>
X-Original-To: mpls@ietfa.amsl.com
Delivered-To: mpls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0C94FC14F6FB; Wed, 12 Jun 2024 09:53:48 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.805
X-Spam-Level:
X-Spam-Status: No, score=-2.805 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=juniper.net header.b="hLGwPBWz"; dkim=neutral reason="invalid (public key: not available)" header.d=juniper.net header.b="LHXZGJW2"
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 3ReBW9eDc5sG; Wed, 12 Jun 2024 09:53:43 -0700 (PDT)
Received: from mx0b-00273201.pphosted.com (mx0a-00273201.pphosted.com [208.84.65.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E13E5C14F6A5; Wed, 12 Jun 2024 09:53:43 -0700 (PDT)
Received: from pps.filterd (m0108157.ppops.net [127.0.0.1]) by mx0a-00273201.pphosted.com (8.18.1.2/8.18.1.2) with ESMTP id 45C96AKu022952; Wed, 12 Jun 2024 09:53:42 -0700
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; h= cc:content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to; s=PPS1017; bh=MY /xvnD2rqpNuD79sNj5JxaSWKF6IdgbbfwjsVxEnO0=; b=hLGwPBWzNs9WhhNyTn YB3DUN4puDkkW3mVtHaPWBCoIsnImKPVpIPbQN7Lamdbr08FFKJlgBVW4Oa+Req2 3dQKn0xxPVdP0SgrWdO7KNytcQCPSalfTiy+AVYWvWQ+cFLe0+99GrdadcDk6R8q KHaPF3TZMbnwkgTbxEnMqOuHtyTt0FPe94ew+Tim7yXuH6pRX1hALXu3zL0aWR/x zzACUO1K4voz3Cws9BV+p8QwYsr0yVuF83qGoyc6SZXWzuESzO902w4yypMFqs9X dYfaefUJZQnbiRw278RCLWThVM3N2EDMA1BbjngOLwjeyiu40biA9Wr67mlOffU7 oDyw==
Received: from byapr05cu005.outbound.protection.outlook.com (mail-westusazlp17011010.outbound.protection.outlook.com [40.93.1.10]) by mx0a-00273201.pphosted.com (PPS) with ESMTPS id 3ympjggk3a-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 12 Jun 2024 09:53:42 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=eoEkQLmPRnkt21+iqZ1bI9KygIJppjARVM38f6mrll/rKQ3Y3FkVyizilKUdeeaKgtm8zKIh+fydTifDcp1EEmyJ+mzs7gJHrRZvVov0M66HdDuL5JE41Qg8v18xepoFGP0SS4j+WwyjmRJZ6to83Gcf9YpKY/jAJptdBAUtPN8tuF81xDqz4GzG5JhifVPWg/O6jDevlF6zDcfiBsbr20HJWIV6VrKqgg/Fo11bYrELSOq86+bSA/3rY6Wmk0r3yq9/n5easl5ZTpY3o3bLI5qlyswyZ5u23DItQR6eklDWpJMeJnGPKcFizQDj0cBE/7wBgic5H1A0HgnkCzStsQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=MY/xvnD2rqpNuD79sNj5JxaSWKF6IdgbbfwjsVxEnO0=; b=VZHiNNThP0L+TwtupkwdV32nLe/ypwV+Y8dTGF3TCYWxtR8McjoFG+JScuKg9L2YaOnavDYKV2IEtZSMUDeiMOrZjttRofqY7dN9vFQ6jOE8MfjSxMDg9AJSZnhEUSP7CuNKnPSdU6LNrR0GK/03/qgVk2Lf0TjMa+hpsOdTdOGNf4WWA/CDp7DwGrKmwZS1y/lPmKcfS0O/zi/4O0OZHMrakmDBawPFLpdfxy783G433ORwS1ca5CY188+ltUPsxf27Z5UgvPC/rJY41zJscjzEsg7b5Pluk5DGtjBRSAS+tv7p9LVQM/sH96WIws11cDXEEloRz+FG7Wnq+Fg6sg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=juniper.net; dmarc=pass action=none header.from=juniper.net; dkim=pass header.d=juniper.net; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=MY/xvnD2rqpNuD79sNj5JxaSWKF6IdgbbfwjsVxEnO0=; b=LHXZGJW2W2jqjcZwjj6ZOn2IVDTSz/Fn/RbQCJ6yTJz/jPMx7LSfpJHUXLlxgSBWzPqv4E7tp/eYRpA8Eq9iTsoZQr7Dypf/Zc7VtFt4zc0VaC/Jvn0sH23JuaQ0ELGjtOsM14g9DtlsoLVq53zviI8cGRj5KQC5Pi0gr6FhVOI=
Received: from SN4PR0501MB3870.namprd05.prod.outlook.com (2603:10b6:803:4d::16) by CH3PR05MB9554.namprd05.prod.outlook.com (2603:10b6:610:14a::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.21; Wed, 12 Jun 2024 16:53:40 +0000
Received: from SN4PR0501MB3870.namprd05.prod.outlook.com ([fe80::55c8:eb46:9e:9e9]) by SN4PR0501MB3870.namprd05.prod.outlook.com ([fe80::55c8:eb46:9e:9e9%3]) with mapi id 15.20.7677.019; Wed, 12 Jun 2024 16:53:40 +0000
From: Chandrasekar Ramachandran <csekar@juniper.net>
To: Deb Cooley <debcooley1@gmail.com>, The IESG <iesg@ietf.org>
Thread-Topic: Deb Cooley's No Objection on draft-ietf-mpls-ri-rsvp-frr-18: (with COMMENT)
Thread-Index: AQHaretpVWb7bWn0lEKeV8MAMUQv47HEdJEw
Date: Wed, 12 Jun 2024 16:53:40 +0000
Message-ID: <SN4PR0501MB3870CAF9D653494011BA8DA5D9C02@SN4PR0501MB3870.namprd05.prod.outlook.com>
References: <171656294999.16273.15500542942662786082@ietfa.amsl.com>
In-Reply-To: <171656294999.16273.15500542942662786082@ietfa.amsl.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_ActionId=90588417-2585-454d-b2ea-e3a4a8a7d4d4;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_ContentBits=0;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Enabled=true;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Method=Standard;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Name=0633b888-ae0d-4341-a75f-06e04137d755;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SetDate=2024-06-12T16:47:25Z;MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SiteId=bea78b3c-4cdb-4130-854a-1d193232e5f4;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: SN4PR0501MB3870:EE_|CH3PR05MB9554:EE_
x-ms-office365-filtering-correlation-id: de1bf7e9-54ba-40a2-f0b3-08dc8b00360e
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;ARA:13230034|376008|1800799018|366010|38070700012;
x-microsoft-antispam-message-info: bqaJ74lGTLp2d56NdLGrUPgDXnVmdPxjTOzL0Qrrwc7nc4Dol8j4yhyDLAZpsQ3Vj/agkxjxUbPRn/kCHo1ZAyMws+uNogjlpx/eIIuSNDbVtEmJnS+05dgdR9RtRX7mrF/NvzJdYVZG5a3ksvpgJQ7VK2VRnaC/yE3qT56E9hvQM61+/O0BidJ9KTAXSeb/VMzZ73HmMgps5YfOIn2YKp5Gbts/XxryFiFMYRLhtxCdeYy2BeNoyNDZl+WMAe4H05IzW9RjdT3gojmb9E0d9hQ1OjR9zo72YfKRRCZhzqAwTYyLOsbEUfspD2NGCIpLn2oMyvjNKA31Q80bfs25U8AyX8JGtRAWp8ak00tX0Vw+6BpxClqC5Mtachbfok3y5iJ3T/2xIoZiew0WFXhp2OvtQTs0yM7jAgm7hfMcZ+CrBXFGEoBvcUVjtNiqsPeG5N0exl0/UAdln0StnDTl+oqGEjmyE1W+b0DVG3o03Wi/0zYO4386iECklDi90kU8ZxqaKZtwxrPMM8bzZOjAXAdtU27uT9yfI2GV5FRPuOU5IvNbpR2luVoc8y+L43W3+DKXI+Ax3aAEo0T56GZ/Z/fWOQq/CSa/qk9LDMRB056nlLH6XB2j4s7WPULmAUV054hIfzG0nV4/l6po2iXIIgiYr36kIaLIGix582tZ4uB6MT6mUF14+r7FlrQNJ3e14/DJo0abHy/q3h2LUb6UJtNA4LgLYV75cWvF03uuqTQ7dRTlOr0+ZFAcTDo60fhxgp7D0nWUM3gKjvSktg/X45DPkQVXjH+SciYg3cIa+ExUhCz4uWAuuK5vTx4AguLND0NTE5Sznsb9y1wKrwT4TYDwvNwJUFyF1hVi2E+0v2UH703ugaUnqPVK5iunwV5OBtHvGvQ5Gqw7JJ0CHRkv1+9KA+zp9k/7Vzww/39UPJTKS3Zd5/cLd6h3IivlDHLOtxMcTL3O4VQAL1yO6jQGFLqgLAapZ/A+5kUT1rhw8VZwrJDAAn7HAFtgBRKQSnb3w8A4azxAT8Dphl81ERD4onaVJWxyq3MRfHb2LTApqVX0wBMU8QivrAuz7qfbXcKz66z+boh46rJSB5X1LoVrmQY+NUeJ6MYnJRTOixIfVFuww1m37/nrDXiUtgkTatLicIKLlIe8596FPPq0tQ+WIeiLtz0YIDrDqf2fJF5t8tPa+cLWD6o5vlgPS0UjI1bxSr38nsdyWXVlBJWz9YxJhxjLZbw5w+zaK9UxOOHaWRvPG+9SnbfHi7BZeGZcAEM51k7KntaSwBgITm6HWbgchtMfZxRJ8Lj4q5flLnYlliN71CIp/GCZsBXq3eITOG8Y
x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SN4PR0501MB3870.namprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230034)(376008)(1800799018)(366010)(38070700012);DIR:OUT;SFP:1102;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: TqBQ5hkeryJOFEhmcsxmL1HWdBA/bBnWuljUtzJXcvABiITvgVRykiuEZtdIJTpRNS6eh5HJZuMhbwDSq/pP43B0BVp8OR8YARoeSA4EgT0sQoOm1RBYZvOgcdl/tOXTs1V0pAibvSJWL+GdFUmLrmcKpb064Xj+kCJ6bDMO0iBkFLzYFxMnpjO9Dqr1+o3pO7s/j2C/RKOItwYnw33Y1flwsi70iO3bwgolOq3njBNGnjuG6L8hzydBub6M9Vn9HxQe0zh98vGQVgE1sK4dCG9+/Xc+xzZJg6cNunfAcqOUoDkueUwpfC6klMFmsALaSQ8JNoAOLDFpmwpC83QbnLYyofn/K6yTd6QPJcy3/O6xSRWUVQBboi4fLNh7ZHXNSrE8hhxwZSOxTgX7BzyJiI28uEs965WPOTHtbuotVJVfhHCLhtD16urks8V/1YFb83+Zny6dEUAigTUJC8rXorFHmDleoCU/fSkQ+oOR0qF9y2PzxNtp5buFTtyIve6LSa+rV0KBGtaLcajA7yVPMZrzzr93Mir9bX0hLz3/IkUmOs689It1Gr8Ec0gBgQjF/BLCgsNnLAIlmFZCpBVexZjY0jI5HjJMq2pjQWe2jqskOiwQTlb3qmroXPL/PycSZzWk9N1n0RHoLxm5ZvyPW3IghVB0sNLErsNNbd4hqXVV0nGTZQ5wqyQybFCDsbhbfSyjDkInZLxB+dNJv+ILC/pcYcdLVHam0oBhiSdXnaoy9EFtg3QvpA6RtjfdEjFoq0wS2yFRtkVBRsZMlAhkglxvHOyTVA35dC7eoL60MSxlNJFn84zC34OTB9NFFBVZxWO+EoIkkfm2PQ9RwpnXgKnVJE6+yHHqHYRNQJ+2U1e2rHL8GMiJ1o4rpwTzLmA9HkOSwcZ5W8O1VPKS7xGLNriW4kIrsdm2xs7qyA33unYO8Hn4PiN7lYQsI2yDITZnSM/+Z0qnwqvlZIStixh49OZ/4KR94Ns7D7tAuSWluP1mNGtiglGda+5vLviluLnve12f9wGX6lc25Lc/St88cqXuirsokCdq4CtF9OlGQAb0nehJ1gq+h4//sTnqknCR7efl9k2KzXCtFpAIvQsTKYYMDBHozNTdiHGoGqzS4Eyz9vXGAeh/+sdluHJM5TOTc2LrMf4Y1UiopmTFV01pzXaEFgxcOVvfySDGiZDVX6Hm2oJGpbbH9dJxB+Fg3vecokleqFaX11hxV63coLvIaC1FByhWeACaIvZQ7ugdQOeS154BQj3J300VtPtmwavDMB85w/gKJ2MXRJV4Uc6ufyXO+RvFeROXP0K43kXoWGFgH/3fe3rZlIX95qpSzjqr0YR/vRXhchkjXt6WzpsR7YG/UTTQidnOmsJkA51rznrxscqBr0LzKGaxW7k00+ACP+U08jAb27qMNLlKDB3g/0sSOSWtI8ZckpgXM5dPMJtyHThwb9CrMl8Kf0cD9GTYik9WjEbzughj1dRZAktXWt0ajaw2HJccjuSaG6Fp0pFmB4aLLqDV1lEV3TTNmVqeueq/geLDMfyyugY26MxQ8VdkLyIbhpt1lkEJnqlbFHoVcdQ+L2IHLyi7NCXXaVrj
Content-Type: text/plain; charset="utf-7"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: juniper.net
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: SN4PR0501MB3870.namprd05.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: de1bf7e9-54ba-40a2-f0b3-08dc8b00360e
X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Jun 2024 16:53:40.2357 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: bea78b3c-4cdb-4130-854a-1d193232e5f4
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: PDJCNV0Z4j8oKM9RiuyEkyyhD3bTjHRlG4qo94x+y4i5SnFPyFjk/5GvtddVsQgykbVm40aF4+qbtsSPpvcU0g==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH3PR05MB9554
X-Proofpoint-GUID: 3wsVhN9fr7TPjCTGzJemclJPiqzSQZDt
X-Proofpoint-ORIG-GUID: 3wsVhN9fr7TPjCTGzJemclJPiqzSQZDt
X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1039,Hydra:6.0.680,FMLib:17.12.28.16 definitions=2024-06-12_08,2024-06-12_02,2024-05-17_01
X-Proofpoint-Spam-Details: rule=outbound_spam_notspam policy=outbound_spam score=0 malwarescore=0 lowpriorityscore=0 phishscore=0 priorityscore=1501 impostorscore=0 mlxlogscore=941 mlxscore=0 spamscore=0 bulkscore=0 clxscore=1011 adultscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.19.0-2405170001 definitions=main-2406120121
Message-ID-Hash: ENTYNWJIR64NNRG3KM5NXN4U2FSXBMR5
X-Message-ID-Hash: ENTYNWJIR64NNRG3KM5NXN4U2FSXBMR5
X-MailFrom: csekar@juniper.net
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-mpls.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: "draft-ietf-mpls-ri-rsvp-frr@ietf.org" <draft-ietf-mpls-ri-rsvp-frr@ietf.org>, "mpls-chairs@ietf.org" <mpls-chairs@ietf.org>, "mpls@ietf.org" <mpls@ietf.org>
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [mpls] Re: Deb Cooley's No Objection on draft-ietf-mpls-ri-rsvp-frr-18: (with COMMENT)
List-Id: Multi-Protocol Label Switching WG <mpls.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/mpls/DWcLvTyQHOvDRnGf8ZGKQM8R4q0>
List-Archive: <https://mailarchive.ietf.org/arch/browse/mpls>
List-Help: <mailto:mpls-request@ietf.org?subject=help>
List-Owner: <mailto:mpls-owner@ietf.org>
List-Post: <mailto:mpls@ietf.org>
List-Subscribe: <mailto:mpls-join@ietf.org>
List-Unsubscribe: <mailto:mpls-leave@ietf.org>

Please see inline (prefixed [CR]) for responses.

Thanks,
Chandra.


Juniper Business Use Only
> -----Original Message-----
> From: Deb Cooley via Datatracker <noreply@ietf.org>
> Sent: Friday, May 24, 2024 8:33 PM
> To: The IESG <iesg@ietf.org>
> Cc: draft-ietf-mpls-ri-rsvp-frr@ietf.org; mpls-chairs@ietf.org; mpls@ietf.org;
> Nicolai Leymann <n.leymann@telekom.de>; n.leymann@telekom.de
> Subject: Deb Cooley's No Objection on draft-ietf-mpls-ri-rsvp-frr-18: (with
> COMMENT)
>
> [External Email. Be cautious of content]
>
>
> Deb Cooley has entered the following ballot position for
> draft-ietf-mpls-ri-rsvp-frr-18: No Objection
>
> When responding, please keep the subject line intact and reply to all email
> addresses included in the To and CC lines. (Feel free to cut this introductory
> paragraph, however.)
>
>
> Please refer to
> https://urldefense.com/v3/__https://www.ietf.org/about/groups/iesg/statem
> ents/handling-ballot-positions/__;!!NEt6yMaO-
> gk!CJYdxnI_JIqZNDVpogierQqFYVP3_GrNU_RfmWWvRJO1kIFDo0uHMhY865Yt
> R-bUrmymbB9coLsEdQ$
> for more information about how to handle DISCUSS and COMMENT
> positions.
>
>
> The document, along with other ballot positions, can be found here:
> https://urldefense.com/v3/__https://datatracker.ietf.org/doc/draft-ietf-mpls-
> ri-rsvp-frr/__;!!NEt6yMaO-
> gk!CJYdxnI_JIqZNDVpogierQqFYVP3_GrNU_RfmWWvRJO1kIFDo0uHMhY865Yt
> R-bUrmymbB9P6oEp5Q$
>
>
>
> ----------------------------------------------------------------------
> COMMENT:
> ----------------------------------------------------------------------
>
> 1.  FIPS 180 has been up issued in 2015:
> https://urldefense.com/v3/__https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS
> .180-4.pdf__;!!NEt6yMaO-
> gk!CJYdxnI_JIqZNDVpogierQqFYVP3_GrNU_RfmWWvRJO1kIFDo0uHMhY865Yt
> R-bUrmymbB8VXMMewQ$  .

[CR] Reference is corrected in draft-ietf-mpls-ri-rsvp-frr-20.

> 2.  Security Considerations:  "When using RSVP Cryptographic Authentication
> [RFC2747], more robust algorithms [RFC2104] [FIPS-180-3] SHOULD be used
> when computing the keyed message digest where possible."  This sentence is
> confusing to me.
>    a.  It would seem like the 'SHOULD' should be a 'MUST'?  RFC2747 uses
>    HMAC-MD5 which is well beyond its end of life, or HMAC-SHA1, which isn't
>    deprecated yet, but NIST has plans to deprecate. b.  In addition, the
>    position of the references to RFC 2104 and FIPS 180 in the sentence adds to
>    the confusion - I would suggest moving them to the end of the sentence.

[CR] Please refer to the discussions related to this text in 2019 from the thread https://mailarchive.ietf.org/arch/msg/mpls/DQluEtXhVh06Urwqb7ncc3X3dUE/ and the latest email thread on the same from https://mailarchive.ietf.org/arch/msg/mpls/119-r_6cfiyVOlg8A1_j7tfHl6o/.

> 3.  general, and only because there is another comment on this:  'let us
> assume' is commonly used in mathematical proofs.  However, I have no idea
> how common it is in the IETF RFCs, much less routing RFCs.

[CR] This has been addressed in draft-ietf-mpls-ri-rsvp-frr-20.