From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.help Subject: RE: [External] : Re: Morally equivalent Date: Sun, 16 Oct 2022 19:43:32 +0000 Message-ID: References: <87y1tfzhzm.fsf@undisclosedlocation.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6700"; mail-complaints-to="usenet@ciao.gmane.io" To: Bob Newell , "help-gnu-emacs@gnu.org" Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sun Oct 16 21:44:50 2022 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ok9Z4-0001XK-4G for geh-help-gnu-emacs@m.gmane-mx.org; Sun, 16 Oct 2022 21:44:50 +0200 Original-Received: from localhost ([::1]:45956 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ok9Z2-0001GN-EG for geh-help-gnu-emacs@m.gmane-mx.org; Sun, 16 Oct 2022 15:44:48 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52180) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ok9Y0-0001Cx-NX for help-gnu-emacs@gnu.org; Sun, 16 Oct 2022 15:43:44 -0400 Original-Received: from mx0a-00069f02.pphosted.com ([205.220.165.32]:19394) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ok9Xx-0004Ne-JL for help-gnu-emacs@gnu.org; Sun, 16 Oct 2022 15:43:43 -0400 Original-Received: from pps.filterd (m0246627.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 29GD7nNp013302; Sun, 16 Oct 2022 19:43:35 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2022-7-12; bh=wJskatfsONaUzjfvbPUmr2OuZrb9bTxGX09D9+MpfP4=; b=brGxFYGUa/Us4OiFCE66mjYOUdoo62azm4bVvODLOpNN1ifnzhkawaY4CAwx+xighrKu YgIXJhKFpu+T8k08Xnme0oeTHS/Jw/F5AsT8BfQAnI7ERJhxRLSGwu3r+BN9nURanke7 eu64WkVTONhTtswpr6Mw0TBAEVe2+PrkY//CFN0gMwDQMzPSC+OVUtCzIBAIdh9O0gi1 6npKlw8YSFl64GjaXkYQJuH4ViwoP1Me43pcCwBijUqYEzxdYoEOOMKaR5H52DDkSo1g ZNcq1j8Mwi5453KzNwdIT0W4D6vqZd0rektS16wYnATY/77VCYycQgjkjKK9ekHLUfUx 7A== Original-Received: from iadpaimrmta01.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta01.appoci.oracle.com [130.35.100.223]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3k85mfs5g3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 16 Oct 2022 19:43:35 +0000 Original-Received: from pps.filterd (iadpaimrmta01.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta01.imrmtpd1.prodappiadaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 29GCIaXQ035792; Sun, 16 Oct 2022 19:43:33 GMT Original-Received: from nam11-bn8-obe.outbound.protection.outlook.com (mail-bn8nam11lp2169.outbound.protection.outlook.com [104.47.58.169]) by iadpaimrmta01.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 3k8hu53wnf-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 16 Oct 2022 19:43:33 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SCsqJhJjHtPeNIXu5paRn604LYpI02HzJKHaNj4S3HUBMHLkVwkSFdzqHzPtQHcz1RmU5n1ewmbZM8NK0JkRWVdkRjoLstQSI8rjX7R9t+SahgVF91NfVBUzIPstmFmOTxloXTgywTiwwpISQApS71aOhgHz99hMQ61B+JWaBEL4AxWxJBFJMn98cAKuP+LOOAuw4/OPtN+AtyxGfTm25yCFP3lgdMyIKPuI2WR+c6VWYjpEYg+Yn6wd+fwzrk3LKVfFvTOzvfwGfFN4krLNXECCh2MIBWWrpMmBDQaTLI+6fyB6bXeih9wgYtwoA6CKyjDzVJ04yKWR6vSJJRb7/w== 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=wJskatfsONaUzjfvbPUmr2OuZrb9bTxGX09D9+MpfP4=; b=kwWFcFMCtyTukyYvCsDuvmWpENRGxVS4N96mGRFXayqvSd6W8lUO5ugovQTPnvifLoe0f0/W3+kIvzL3Ubs9aHVZEYWLl4CNsAbh9/Wy8ZQt9yLckF1y1xw9emXszCTIsxOaDg9e9M80qHCNlKCfpvGjyaUM45DdhJGGPyjRIrzYzILlRfHkDVlRoWQYsz1Ou2NRNf+h0bCSBowt2lbX1p3qBrd7kJBNXYnSIm9tac2lRxEaP/jueqPylRm9jpzFBVyfyUWfqXrMBl+FEGRk81TjYv3+Q30ai1iMwJr8RjMgCizYCumvcpAdVva9+9ElxJfse5/g0+CAKD+eCqoBRQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=wJskatfsONaUzjfvbPUmr2OuZrb9bTxGX09D9+MpfP4=; b=OIa6DJXo+Anvajw3p5gJncG3ygDcABFLVI2dBAbxuthRl1ni7TG4p8PW/9cFaX0NF0O8TLJRsE5b8DeUZMwX4jE6/VNu9RzWdzdAX8F8F37F1xU3UYGQWgvzS92gaFXXWj4dEwLwYy8/xFDo8VoalwNCBWc09xjpC1LoicK83fI= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by CY8PR10MB6635.namprd10.prod.outlook.com (2603:10b6:930:55::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5723.30; Sun, 16 Oct 2022 19:43:32 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::2e97:93c5:7222:5b31]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::2e97:93c5:7222:5b31%5]) with mapi id 15.20.5723.033; Sun, 16 Oct 2022 19:43:32 +0000 Thread-Topic: [External] : Re: Morally equivalent Thread-Index: AQHY4ZVkrsL3jqeiwEW9JWTT18p+Ya4RazAA In-Reply-To: <87y1tfzhzm.fsf@undisclosedlocation.com> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SJ0PR10MB5488:EE_|CY8PR10MB6635:EE_ x-ms-office365-filtering-correlation-id: 2b424b16-9f2e-4cd1-1ff1-08daafaeb4fa x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: uE0iApmwxeEKkMOqSZ9j5YDR3MsuXYhx65gCfHy3UHspFRWi30LMkcEGRq0FohibaJpjcfnvM9M25dSR1CeP2nd4X/lPoqL1L70EK6Cc5i0PNL4JLBfs5Ia9VJ2fuMiu7JIc1hbEaEsOwJARpBJmwCv5Bf7ChWApRoRk2vipm41JPndrHohXzhKx7q4utNBOzzoHX/Wqc7fh7euA5t2ISrMpc5TD9JXajkmKq1qXpNIM7YqagCpNmgZyc71fNXBqQ9t5app3dXLYv8F4DuYdBmwGLaD6OLTswkMIwlpQBS7M3AxMPCt6EBIUt9kOF81JzgKeNpAzrIyFYW8kVtITakoAeR17zCuajzRT7ACIzP+Dwl7C80zYyfGeahSF1ndMT6e6cCXoVvurtQKC5mUSLKZvyT7JmNG+yEaUTbWkw68eZG2M1TWy7XLYgfEKXb8U0OsMxcUeysmHBAbmyfP5zx9P9cwqVDFi93EWDfU3OPoc9LdSfwDql8EFiHvhwUMeDNmz6l8F4QEuehqGAosq2XLI/Q+jmC4ez5hQBRNYfYuPjZfYkL2F9PFuy773cUgXRcAL/PcSeYhTWKiULs0hdKf0YHsFUvNFdOm30say8wS96Zm/5NVXZOEFo2A9iI2UwtXMxLQwr7Ufyp4fH6K/kaGjtbz1gjh57iR6A8tLaK1A1haAQ9zV3w6DRdrZ644dZM4Bfx/ZeGt155/ExmexVdwl/wvK5GdTTeTiME0i2rs4PKGQ1uLggVwlJyhcN CLkBBiupSPw2SHU8Ta60LWacw== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR10MB5488.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(136003)(376002)(346002)(39860400002)(396003)(366004)(451199015)(110136005)(66946007)(76116006)(66446008)(8676002)(66476007)(66556008)(64756008)(6506007)(7696005)(41300700001)(316002)(5660300002)(55016003)(26005)(9686003)(86362001)(52536014)(8936002)(4744005)(2906002)(38100700002)(71200400001)(186003)(33656002)(478600001)(38070700005)(44832011)(122000001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?cHg3QWU4QjRPbTJLamttR0NlWnhqV2F6YWlkOUVzemRiR2JldDBrZ0I3VGZu?= =?utf-8?B?Q3hLMnFpTkpNVW5TaCtxVFlhSmk0NzNNM3BNZzhrZjVKMlpPczBzbzhKQ1Jm?= =?utf-8?B?K3F2d2hiaTZVSmthMHRwZmZSUk1wVStWT2RMb3o3eVdLTDRqNEZGcTZSS3Y4?= =?utf-8?B?K2NWR0QzdUVNRkIySjl1R1c4c0wzd2lKNjBaczZkWU5QNXNHUW84NVJxQnM2?= =?utf-8?B?SWd4dU1hSDZlVFZCZ0kwQVNJVWU2anVhdndsTDZMdnBvUDByYjJBSEZEek1H?= =?utf-8?B?TzkxNXZncGpSL3Fob1FrcmZCa3lUWkwyNDNpSmZqTndybnJiS0RPR2EraHBx?= =?utf-8?B?cW1uaUxobGkxK0lwYWRmNjdmakk1RnVrNE80NHhrZFUyZ0Z6Lzc5R0VnNTJ1?= =?utf-8?B?QjgvRlFmYVd6L3QyTzh1VlM2d3FjQWtEb3Bud0dDcEc0MXVjUWRRU1E2ejV4?= =?utf-8?B?eHd6a2dYaVNwdEhwMStDMVhUZDFIOGxMa0I2dWlpSDZFUlFtYmlwck5wMjVB?= =?utf-8?B?OGtYNi9UM3hQWnl6eEFIOVhMdFJJVUJqQUpveXovanNsRWZtYmpYZk50cWsx?= =?utf-8?B?WW9mOTB6cGdqNnhJdmJoZ2xSTWE4QnRxcnJDVGgyYytLV1QwWnFHSys4NEpj?= =?utf-8?B?MStDanIzTzYxdnJWY1pFY05SV0JVWm1JQTZIYl X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SJ0PR10MB5488.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 2b424b16-9f2e-4cd1-1ff1-08daafaeb4fa X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Oct 2022 19:43:32.1495 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: Ies6oW2MVNkyNsE9pZh41rZSKOS9IVvrLj4h/3iYYWHYo4Myq5pxqISZaRvrq3sEhrdOFw32TrBQOFKpBNWntg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR10MB6635 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-10-16_15,2022-10-14_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 adultscore=0 mlxscore=0 spamscore=0 bulkscore=0 malwarescore=0 mlxlogscore=752 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2209130000 definitions=main-2210160122 X-Proofpoint-ORIG-GUID: M3WmexiYLsUzarICZoA4F0utw-btSwkW X-Proofpoint-GUID: M3WmexiYLsUzarICZoA4F0utw-btSwkW Received-SPF: pass client-ip=205.220.165.32; envelope-from=drew.adams@oracle.com; helo=mx0a-00069f02.pphosted.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, 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_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:140002 Archived-At: PiA+IFdoYXQgaXMgYSAnbW9yYWwgZXF1aXZhbGVuY2UnIGluIEVtYWNzIExpc3A/DQo+IA0KPiBJ IGhhdmUgYWN0dWFsbHkgc2VlbiB0aGlzIGV4cHJlc3Npb24gdXNlZCBpbiBhIHNpbWlsYXIgbWFu bmVyDQo+IGluIHdoYXQgaXMgc3VwcG9zZWQgdG8gYmUgYSBzZXJpb3VzIG1hdGhlbWF0aWNhbCB0 ZXh0Ym9vay4NCj4gR3JpbW1ldHQgJiBXZWxzaCwgaW4gIlByb2JhYmlsaXR5LCBBbiBJbnRyb2R1 Y3Rpb24iIHN0YXRlDQo+IA0KPiAiQSBzbGlnaHRseSBkaWZmZXJlbnQgYnV0IG1vcmFsbHkgZXF1 aXZhbGVudCBkZWZpbml0aW9uIG9mIGENCj4gZGlzY3JldGUgcmFuZG9tIHZhcmlhYmxlIGlzIGEg ZnVuY3Rpb24gWCA6IE9tZWdhIC0+IFIgc3VjaA0KPiB0aGF0IHRoZXJlIGV4aXN0cyBhIGNvdW50 YWJsZSBzdWJzZXQgUyDiioYgUiB3aXRoIFAoWCDiiIggUykgPSAxLiINCg0KQW5kIHdoYXQgZGlk IHlvdSBjb25jbHVkZSBpdCBtZWFudCB0aGVyZT8NCg0KSnVzdCBhcyBnb29kPyBNb3JlIG9yIGxl c3MgdGhlIHNhbWU/IE5vdA0Kd29yc2U/IEVxdWl2YWxlbnQgbW9kdWxvIHNvbWUgdW5zdGF0ZWQg b3INCm1heWJlIHVua25vd24gYnV0IHByb2JhYmx5IHVuaW1wb3J0YW50IG9yDQp0cml2aWFsIGRp ZmZyZW5jZXM/DQoNClNvbWV0aGluZyBlbHNlPw0K