From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 28703 invoked from network); 20 Dec 2023 15:25:48 -0000 Received: from mail-me3aus01on2101.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.101) by inbox.vuxu.org with ESMTPUTF8; 20 Dec 2023 15:25:48 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=jGAgPcFVgvQr2dRE06yfGcbUzwboOE+lkvrZYIc2UDZKT7R/yBjmm4Ml8nOxtS1852vL9X3HmF5hau116Lvn/4R/GVedzLEayoTIbewCRMNdm1Hgs1CKvuli/PmZAQAq1F6y+y7UDJuOpNhNR33nlZaRV2rPfSysjOCjPiuH0W9R+6QfCG3bGCTJI6a7Nw8tvkF2upynSw8YoJuYmWiOpJQO1yqE5XkvOMQmdO6khXlpJZdessuoo7EH+k2Uz7Twf0D01YTHwWjc15WUuCIpOdtkASob19VBYfNK7y43RfhAeVHmQV5LeuNmAr6Dect63Wk59ybGeUhp1kZMa3cdcg== ARC-Message-Signature: i=4; 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=xCDz+gYNtcs/UTA1xw4rSkpz/ac1GNG+E4/t2eazlbQ=; b=YAgAnQeyFq3nTLAeIqLGgFVKo6Xz8hVYO2daeI2W3cCQfRGHq6zU77wzVomUD1IGYQWmFjdHvMdiRw4bzI36w383V3WJgqKWYHkBLb4Uwtn2dEc4dZJODa4o5c+U87zTH7HQytFbBnUJpjDtLDrx9VXRZh7wAzUh+7JqCbPE8jrciEntxfwVBtsxe0Ke8ietlIKA0x8PXa3YcFoUjNnqVvYdgeJ7n2NCuj2c6r+aFHD7jYELqT+VkIdgwHkCldHrFvqMLvWxao7Wg71dsvPEDqBG2XC9De+Fx7zjCd/P82viDEx4w3fuxCNfibTX2wnm7LJeXZZwzrQcXz8y+VeTQA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (body hash did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=xCDz+gYNtcs/UTA1xw4rSkpz/ac1GNG+E4/t2eazlbQ=; b=e6OHcB7NmEQ+wUgZn6JB50+nIWVg9Z/iVGphrAHj/K6+CMkuWQM5tMzVUJTQREFWUwdVVQlMrGkTnD2044Gmof8aqIgKekJS4UEmZIbyCtbO0jAWKorRTlxl9eOeBeg70JAzsgv3tjpw/XojeQdh6CjsvE9sdPd8ZsQ2aa4lY31AQGIrOiDccK7R4ELqyea2Fjn0e1RKTxRvs/ileAh6p1uportXlp29QJocYINYSoHO7QfT6qm5U7GqIVpryFz2XoKe4XK0BcwY6c7y2Ei2rB4zhk6uFVrwFTaw22wymd71w7s/j5z5SZDKBD9dvACDfz1uJ8hqBGZeiYdFRw7ibQ== Received: from SmtpServer.Submit by ME3PR01MB6087 with Microsoft SMTP Server id 15.20.7113.19; Wed, 20 Dec 2023 15:25:44 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mrIoiqW2hKSD5JVMMblbdi+/bJqwYrGxe7xH17kXyFBSEs37wJxSRUC4aBnlKOv7PKrwRhjs9y6g9AerVsvxH2i4v+asfZWYfAUEUq+Wg/FWdjtNjRVcca+9AOxMRTshh9tY65jaLueGXcXk7lak7BwJc0WfNqB99Y0qD71hSPCjRqKbDNLL13WDukH6Vq4YmLxvHUgD9zBRyBJsb92KhzC8MHkhYceNO626MdS1pJbfCXO/IJl+PX0khxm5AN83rVkCUwWmLVOxA76co4YMS1IGhJRDhs45BjU4MO9xTrNqHMptlGCFVVNAT8GC7fAhh/ruUYBjYO8O9yc2onFvLw== ARC-Message-Signature: i=3; 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=a/Go+V6hD1XgEmdi2fcRpIQNwQPX4miIATn3bp/qXVA=; b=dZWXHsvoIb2jWZnnvlfohyInAAaiVuD0YZwGZn5RhJtUB5XmhxtrNh23xnBCBChuu7JfEoc1H6F2oCiD4s5jN4XiZ3TDGQy8oB948TPnjnaZJ9h/cdg5xTlitXcO3ELWGty4LOzDmovUItJnD6euJicPFHZACwNUl+J5bwSEbacrN4oGU5GWozT0ZEheyj3jnl2HukTFq2rwCvW6yIR4eRNchdI2qhL9IEtka5Prz0qfSnrYDLa7VegJE2zf3zdAw9oNPWHSZR++eQ056nXGnjzButLDkCrQckjUSZDjeAHvlhdNY37vjQC6jMu3G9NWtgEXPWBnPu0Gtxdg4a6DSw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (body hash did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01MB5905.ausprd01.prod.outlook.com (2603:10c6:220:e8::8) by ME3PR01MB6087.ausprd01.prod.outlook.com (2603:10c6:220:e6::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.19; Wed, 20 Dec 2023 15:25:40 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com (2603:10c6:201:38::9) by ME2PR01MB5905.ausprd01.prod.outlook.com (2603:10c6:220:e8::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.19; Wed, 20 Dec 2023 15:25:37 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::c998:8560:6e08:9b8a]) by MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::c998:8560:6e08:9b8a%4]) with mapi id 15.20.7113.019; Wed, 20 Dec 2023 15:25:36 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=SSqvnVgvlzNe6MFA06zURjyXS6TnUf31sW8u6RZmiWxWo7nI0GNCk6y1AvqzqZCnC3l/q7j0bhIdYTNMnkPGMpn+xUShsEqpkQySdQuexqkoKpQSNA1+bfgas82XZsS2HFpFRF+WBC/IdBwzxU3fGraulK8viWuipOj+OTypYvleAmRUuH4pC65FrUdRvDQ1/CTGhg49NdQtLZqrtR3fJ4AMvP1vRXU7lLIDrJiwgi1CNoebr/dabOrk1xmJQ/0Kd/MeP8UFPR4soNHuXFo4sy3cIhijaTfHY734td/2XV97bxKsvHXcK4upxE00c64+cFrF+g69CVJNgXdS6j2tlw== ARC-Message-Signature: i=2; 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=a/Go+V6hD1XgEmdi2fcRpIQNwQPX4miIATn3bp/qXVA=; b=h62iu9/gr9sq4LU5J4FMvNzyxq0PuPgm70xXJIVnZF4hwTDyzYSidK0XDYIUw3DahaFUvQB/WXBydDdvM6SbO4MGJzrR00vhX/AgxekrEsfm7X+H8ex4gDs8KHygp7yLtdoC61uWCs4nG/qY7dpQIFmzXRDvMjrU2jDfBlfs73zLwZECQ/AcdC39uMzX2E7L+qSCGxwtJ9EOzUxJXbMsfz5SnHg/YXgGAXTnaset8dT+hDqWni7VhjCyyU3G9Xaw33v5WvN10w0wxOf1LX3Z+xtUKpBts8DEwD8EOhnkUKY/Om0DpBhjneyMXJGkJiE+iho5qJ62Wvo9xk8UdPQB6g== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (body hash did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SYYP282CA0010.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:b4::20) by SY8PR01MB9364.ausprd01.prod.outlook.com (2603:10c6:10:260::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.19; Wed, 20 Dec 2023 15:23:40 +0000 Received: from SY4AUS01FT017.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:b4:cafe::c0) by SYYP282CA0010.outlook.office365.com (2603:10c6:10:b4::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18 via Frontend Transport; Wed, 20 Dec 2023 15:23:40 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.46) smtp.mailfrom=andrew.cmu.edu; dkim=fail (body hash did not verify) header.d=andrew.cmu.edu;dmarc=pass action=none header.from=andrew.cmu.edu; Received-SPF: Pass (protection.outlook.com: domain of andrew.cmu.edu designates 209.85.219.46 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.46; helo=mail-qv1-f46.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT017.mail.protection.outlook.com (10.114.156.107) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20 via Frontend Transport; Wed, 20 Dec 2023 15:23:36 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703085816; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=a/Go+V6hD1XgEmdi2fcRpIQNwQPX4miIATn3bp/qXVA=; b=NU2UoakbP75vtO2PpeIYHCUSZk+sMNydy05OMVwhTRSIeFDRR1yHtSA2kkyySLTO5kYi5G S+oQUHDOloLy4RBWlPjdkQG2ck4bWk/dPC7tkIRwtarkZfaM6DLyjR+unEt/yNyyN65WYc wWCKRQz4cWYI0d+Swth89So526X0ajt96FkcdBm8oLDNZveid/mmaUW1IQ3H10rkgVHO8U VWqsB1/WXUew5v2icXxUhJgZe3i0fJ648Fvml6XSVc6soZz+Vdlnn0ILcCSNDmnHMX+9J3 8rNMOJZ9lAZb4T0VnrqyKzN+LTRbdQY6wYJuUjc7syUNQnpOOH8fODR202Z9yw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703085816; a=rsa-sha256; cv=none; b=AOH81WlJf3l4ygP8T2phWKGDfRIEt+uJiqt90Iymr7BtA58EqUq2QStygur5WINu7SBXTL NRFBp5RqP5U0kdQGPJPc4rVdJHhAheXx7zk2Mo1l/N/SpanNadhRk5U5NVOfTSYRiNVmA9 UuVk6Xqw8bRZuLrST6aEo/z5z4e8ZmJLaxFsoRGb8PPPxC2K5+0VTF5mr26T7lQhR0uTfC PjPoi+RM5dbEx5+x9gWrm7yozUa/WML/CAPRitKbRXv2mlEOYKneqHccVbRzbGdbHz3nmx og1DQgPi7StdWaEaYM/ihh6Jz1quz/yOk+byIjiMJgeNbnKyh8cswGbtt6jbww== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=andrew.cmu.edu header.s=google-2021 header.b=W9vhTsZT; dmarc=pass (policy=none) header.from=andrew.cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.219.46 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu Received: from mail-qv1-f46.google.com (mail-qv1-f46.google.com [209.85.219.46]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-109-4Wh4nE7EPjSTzxU3b5kU9A-1; Thu, 21 Dec 2023 02:23:30 +1100 X-MC-Unique: 4Wh4nE7EPjSTzxU3b5kU9A-1 Received: by mail-qv1-f46.google.com with SMTP id 6a1803df08f44-67f2fc389e6so23957676d6.2 for ; Wed, 20 Dec 2023 07:23:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=andrew.cmu.edu; s=google-2021; t=1703085808; x=1703690608; darn=mq.edu.au; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:from:to:cc:subject:date:message-id:reply-to; bh=s0o8BlDn5z1maO3H+jJrYeMIALlWtQYgu0u4GwR2+qE=; b=W9vhTsZTA5GHr7G/1TESXrMcvAkKcKQkri3WL2wsGkKp23nDsHQ3pELyMxKPdW+KMV KSRfqx8y/UbfXUW+cUUcIYfjBDVJmj0yMWRwLgiZX7w2uHJYOfPGc2AzJM5IyZ4OM1g2 1hgX1ArrepJuZXpaWbJU+U2Ihv9seclSOpdgBA1bfenXbSmoZ3+lmjqFVy0CyKyqC8hA wKHBsElPZ0yF9SYSiyrD08x79+iNEOO33eWuGQJAT96QCHp/jtS4YREjhXDPrxBYyUqA ixW0041pxuDrgsIBsw0GTjFmTrTRZnMb0MVg8a1TeDYqKQCvknn0XuoVT4olaCFZjqYM l7Og== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703085808; x=1703690608; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=s0o8BlDn5z1maO3H+jJrYeMIALlWtQYgu0u4GwR2+qE=; b=xSxxXyz58Hi72xA799k0/0HV4jWPbGNPNhfscmLlXs6a/UhJ2m89ZVxE8unCWcSwdB cay0DMGKVzyDkyVtzMo97wADLE6835pEMFp2+qdR8jvyURQ+NFswxE7cYlecd59cAfl8 5EEAHhCS5Dy4M2ToAyIR3UWCWaAvbBxmR+mUTFdpTzzMM3PVWsOmSTxRu7kDDsLn0prH Xtxb/dqwG4i/RT4EPaEy10jQh53HYHRXaZtiZG63lbEr6TmegoqX0YhOaEvjsUtoQVQB a+XAUahXXceEgR3NfYN28wd4hh16wrfNlwFpESaOlKlPQCKSb3qloJmJoWhqYN16v/u6 7Ilw== X-Gm-Message-State: AOJu0YxXHTcMOPmxHbPl2bA5WieiMVHtCVJAtZOSVqUJKVsgpQJbv2vc QD1EVy8ZWXRk4U2zMhbWJD9htQ== X-Google-Smtp-Source: AGHT+IHCf56irMdMH7YsXmi7JcQDaHEWXiym5XavKD8O88BPhkGYsqiwIIWBZGJoDsEBsK+azsQHWg== X-Received: by 2002:a05:6214:141c:b0:67a:a721:9e92 with SMTP id pr28-20020a056214141c00b0067aa7219e92mr18401202qvb.67.1703085807633; Wed, 20 Dec 2023 07:23:27 -0800 (PST) Return-Path: bounces+SRS=YkD+N=H7@mq.edu.au Received: from smtpclient.apple ([2607:fb91:8c3:ee4:9192:96d2:d841:c213]) by smtp.gmail.com with ESMTPSA id eh8-20020a056214186800b0067f712874fbsm441278qvb.129.2023.12.20.07.23.26 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 20 Dec 2023 07:23:27 -0800 (PST) From: Steve Awodey Message-ID: <194C4E1A-9859-421B-A1E7-9A155738F56D@andrew.cmu.edu> MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3774.200.91.1.1\)) Subject: Re: Phil Scott Date: Wed, 20 Dec 2023 10:23:15 -0500 In-Reply-To: CC: Categories List To: Richard Blute References: X-Mailer: Apple Mail (2.3774.200.91.1.1) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=andrew.cmu.edu header.s=google-2021 header.b=W9vhTsZT; dmarc=pass (policy=none) header.from=andrew.cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.219.46 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu X-Mimecast-Spam-Score: -3 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="Apple-Mail=_66C344B8-97B2-4519-A142-61E372DAC538" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.46];domain=mail-qv1-f46.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.46];domain=mail-qv1-f46.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT017:EE_|SY8PR01MB9364:EE_|ME2PR01MB5905:EE_|ME3PR01MB6087:EE_ X-MS-Office365-Filtering-Correlation-Id: a08774f6-7224-4d2d-130d-08dc016fa31a X-Moderation-Data: 12/20/2023 3:25:35 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: JIKePmpBkuA9HLL8ziLxTDyYM9etR/xY4gvjRYsCIGYCPT0TC9rJmyvGB+gduCSV9/61eqLcTWxy4Ow7i2eIV4Jh1e3Cd+UltXrFHQ9ibbJv++2oDtsvxB1gkrSora1ngAO31CmX1yYTahLzbFYs27BlfnngbAe4cqh/g/d8gBbkqzHQ6GVN4QgPRdnh0/wEe3wQ5cmhlsTbsKbAGFoF+tC6udkfumMSjlxMBOZSFfbljORb/R5BCnRzUtC8nSutBuFnvdjFapLpwvukL2bLBRSPj6mgcvQz3G9/cWf6Rlp0/tQvZeG2jsmr0e7XU2b4knEJbglhrxcSk+DRz28AIo9BuOa1h4IoW45Md0EkQsaTF39JmJUVetg1hS3Ci8TBNLb6+DzVQi0t/rXvEbLzRAfTRR8rz8XW+4atfhZSXzqfJKecADh7bGmsqJoA7M4lEgBY+SPD/FhahtH2aqSyomKiP+OH1a3v6mxBnDgiuhNjzh/tlfRHNKtvDq4SU9jutg45EeA5PuT8GSkO4yHVrTfD3tA7WYJP1r3aHeWw72i+ipZ1LtKFZxgLpc8E3Wku3dFbYBq50lxh1YYyqV85MpTj6dr5BD4pBoTUYWN5TUYrww+bY5I54tTu5IUai08YdCrHUlxTIeO2A7tNyYHerBX4FhrAP/d+5C45wdhJAk7siqKGb9p2IsRcJjPzokedzcpcU6hvOWDy0xgS+uwEKRLSbqH2y08USFUnDj396kV3t4cHnzVNlOON8JHIB7l9kETWwi1bptVCfjx6jEQ27GrXaYH5ybxdbAySNAf0wCnG+o9/mBGwfoca42qSKpDuQbc5DEf9GzrqHZ9ryoFdZUiuKsCU8YTh3+TS2LeXGGQ= X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qv1-f46.google.com;PTR:mail-qv1-f46.google.com;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(376002)(136003)(346002)(396003)(8000799017)(451199024)(48200799006)(1800799012)(64100799003)(82310400011)(40470700004)(75432002)(26005)(35950700001)(336012)(86362001)(5660300002)(2616005)(7406005)(7366002)(7336002)(7276002)(7416002)(2906002)(32650700002)(41300700001)(83380400001)(33656002)(6666004)(53546011)(32850700003)(498600001)(89122003)(33964004)(88732003)(76576003)(45080400002)(7116003)(4326008)(166002)(70586007)(6916009)(68406010)(3480700007)(7596003)(7636003)(316002)(8936002)(8676002)(82740400003)(786003)(156005)(40460700003)(40480700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: a08774f6-7224-4d2d-130d-08dc016fa31a X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Dec 2023 15:25:36.9131 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: rFIuUDg80izlCGYh8kHmvI+PEkl5LFsLFYwmpHXIkKI3sbO35m7ViOMQLHPwhIzMuOwf+UHJT2NbvaGhSQG+4aFZ8Ve6EC7x+4C00zCd5+Lly4tpNpIcGuexK7McKsAebmvoJSB/0Twy77JiXvPwsbzvyzRKOT2tSc2cd36z1HZjw1CQhGJz2xnBAZDCdTRelJJ4vqcGsoqgvAR/e5jxNT1hDinGG4yv0Qe0MTlb0gw= X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB6087 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: <194C4E1A-9859-421B-A1E7-9A155738F56D@andrew.cmu.edu> Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?R3RoQjRtYVBHREx4Zk4ydXY4Q2syelBlY0xwOXo0MHRkbkZJbDZ0cFdnbUdO?= =?utf-8?B?U0tuVWU3SFpFU3hiQU9rNlRpMUowODh3a3lQemZ0NHZTU01EeXNHc0ErRFZt?= =?utf-8?B?OUoyaW1wSDUyaWdxeURFWGNObndtTUo5cHhVLzE2SkVNWWhWSjB1eVRPQjNz?= =?utf-8?B?SURLTUUzdGg5U2lqdHVibVl0T3h5bjQzM1JkZ1hsODlTNlc5TzJnQkt0dTNJ?= =?utf-8?B?NXR3emNCV0ZHUmQxQXIzbVlBV1VmNFJreU5ISEVwYjRsQ3hMTVBEYW9mRE9t?= =?utf-8?B?eUNidGFBTHB3V1I3R1h5TlJ1SU1YMTlCOUdlYnVaYk9ZRm1heWNRaGlFL2tt?= =?utf-8?B?UitwZS8yT1VLQ3dHNkJFaHk4dElmVURKQ2xzRFBwdTFNdVZ3bEF1SURVRmNI?= =?utf-8?B?WmlHa2t4ZUNlaFhteU5TY3kvS2h2eVhDMGZwMnhSOCtUK3ljSTNZbDRlVUc3?= =?utf-8?B?QlJrM0hMS0hmMG1PeVRna1NybDBKSG42WTFBV2x6NnAyL2V5bWVLcnh4alZs?= =?utf-8?B?WmJuSEZ3Ym5vS3JYVHdyTlBQb29CZ01yNU02bysvTlpORWF0Q2xpaVR4YStD?= =?utf-8?B?QjFSSnUrVDVRU2F3cGVnQnZrZ213N0JWcnQxU2R4b0xTTEpVYnJxYUU2MVZW?= =?utf-8?B?dVZsMFc1bWtMOUp6Q3FzTGtXVE5sOE9vSjB3UDJaejlVaEkzbkJIQ1MzYnBn?= =?utf-8?B?aWRibVE3cVdNS1ZFdXNRdUhwb09kcG45QUFIYkI3WXg2QlpkdnJSNkdsUGxr?= =?utf-8?B?VlVvQTkzTXAvenBEOW1VeFpXYmo4NXVQTlRnRXp3bml0aWxmZDMyNExGMUdz?= =?utf-8?B?SnhqSUI4NXpEc0k3T3BVeUZDYUJGbVFQdmNXaGpWWXVGOXJDQTdKencxNmFH?= =?utf-8?B?SExSUkpzdUNpeUEwMFYyUy81RzlXaUhwcnd5RnRUT055L3FhWklBdThLYThO?= =?utf-8?B?SnBhUm1LOEV0WVA0d054cmp0bkdQeE5XbXgyQmhDOEphZCtxdk0xWDhWSlJn?= =?utf-8?B?U3lSK1lFYk5yNloxcVNBUFZEK0JDbjZZNDhvL3YvVnltbmh1bUVQc1FJa1ZZ?= =?utf-8?B?ZWJXWWJiWHhtcm5PWGhrd29GTjU0Skt5UkJOcDlDQ1NKQitTS2RaRDBHUXIr?= =?utf-8?B?dU83SGs1WmxOQmxHbi9MQXdkbEkvdEZBbm9Mbkg2a2NXT2hwcHNKL0ZsZm1k?= =?utf-8?B?TDBnVXhneExYMEV4MzNuMGhJNk9TSDJVd2x6c3BvaWc3VWZ5Qmkvc0lLaDZF?= =?utf-8?B?V0xadXFsaFpiYjZhYmJIYXZJQVhLYktXU21LaUtYWTJ5elcxNHdFcEJEMmM5?= =?utf-8?B?Q0lXb2dpT3c4amRLRHNpSWF0a1B6d3VBSzdMN2VYUjk1OEhoQWFQOThXVEJp?= =?utf-8?B?WlhyeUNwZk53TEhBMHdmSHRFTVloTkJCVUhLdzM3UnhDek5YZUdPeW4rdVRU?= =?utf-8?B?N2dUODBjUHozbWZuZkg1UmNWZDZ4czZTSGtuNGdkV20yM0NZMGtRLzZNZWYx?= =?utf-8?B?Y3lhQjQ3T3FFTkZ5U2NoY2s0akQxMUR3c0NHcVpuQ3VNZTlQbnlYQkltTWxJ?= =?utf-8?B?bUxhWWhaS1pwS0l5R25iakM2UmEyRExpVVAzTzZBMzJOTXpVUXl5U0tqUjU1?= =?utf-8?B?dHNmUjFZWTdzNTFlLzM2Q3RwL09id1JRZXpMR3pGRTU5bEMxdVBOZG5QREdv?= =?utf-8?B?NXREUU9kSE1VNEYvb1JpT2dadjV3dEx3UkJVcG13bTZNRVhpWHh2Z1U2eXFM?= =?utf-8?B?ZVFOMDFkYXhJSmx4YTl5enRCNCt5eE0yYTkwdm05ZStUUk4yYTlvK2hqMXc1?= =?utf-8?B?ZlBqZWphcWwrUGJ3T29qZUhLZ2xwV1hIc1pOSXhpNUR5cklJMVZ3MElRZDFR?= =?utf-8?B?QWxyLzBvSUJLUXl6T1VYNGFXc2Q5dDFwSnBrTlk4dHBGZDgvZ1p3NWtsUGNi?= =?utf-8?B?T1l6a05raEdGbVRHTGhJaU9LUStMS3lndk9KSk5LQ2xQUmJPYzd0Vk5yOU9S?= =?utf-8?Q?PDRvrwcVQdPnBIHX6SMG/dVA4QwRHQ=3D?= X-OriginatorOrg: mq.edu.au --Apple-Mail=_66C344B8-97B2-4519-A142-61E372DAC538 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Dear Rick (and Categories, in cc), This is very sad news indeed - thank you for letting us know. When I spoke with Phil last spring (by zoom), I asked whether we=E2=80=99d = be able to meet somewhere in the summer - maybe at the CT, or in the UK - a= nd he replied quite matter of factly that he was battling cancer and probab= ly wouldn=E2=80=99t be able to travel. If only I had known that would be = the last time I would speak to him! I would have told him how grateful I a= m for everything he has given me over the years: his mathematical teaching,= in print, lectures, and in private conversations; his advice on educationa= l, professional and editorial matters; and most of all, his personal suppor= t and friendship. We will all miss him as an insightful and influential me= mber of our community, and I will also miss him as a kind and generous ment= or and friend. Thank you, Phil! And best wishes to you all, Steve On Dec 18, 2023, at 11:10=E2=80=AFPM, Richard Blute wro= te: It is with great sadness that we convey the news to the category theory com= munity that our good friend and colleague Phil Scott passed away this morni= ng (18th December, 2023) after a long battle with cancer. Phil=E2=80=99s many contributions to category theory are well known. Phil a= nd Jim Lambek essentially invented the field of categorical proof theory wi= th a series of papers that culminated in the book =E2=80=9CIntroduction To = Higher-Order Categorical Logic=E2=80=9D, which is still the standard text o= n the subject. Phil=E2=80=99s research went well beyond these initial works= : he made major contributions to theoretical computer science, linear logic= , inverse semigroup theory and recursion theory. Those of us who knew him personally will always think of him as a mentor, a= friend and a genuinely kind soul. Rick Blute Robin Cockett Simon Henry You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --Apple-Mail=_66C344B8-97B2-4519-A142-61E372DAC538 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Dear Rick (and Categories, in cc),

This is very sad news indeed - thank you for letting us know.

When I spoke with Phil last spring (by zoom), I asked whether we=E2=80= =99d be able to meet somewhere in the summer - maybe at the CT, or in the U= K - and he replied quite matter of factly that he was battling cancer and p= robably wouldn=E2=80=99t be able to travel.   If only I had known that would be the last time I would speak to him!  I= would have told him how grateful I am for everything he has given me over = the years: his mathematical teaching, in print, lectures, and in private co= nversations; his advice on educational, professional and editorial matters; and most of all, his personal support = and friendship.  We will all miss him as an insightful and influential= member of our community, and I will also miss him as a kind and generous&n= bsp;mentor and friend.  Thank you, Phil!

And best wishes to you all,

Steve



On Dec 18, 2023, at 11:10=E2=80=AFPM, Richard Blute <rblute@uottawa= .ca> wrote:

 
 
It is wi= th great sadness that we convey the news to the category theory community t= hat our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer.
&nb= sp;
Phil=E2= =80=99s many contributions to category theory are well known. Phil and Jim = Lambek essentially invented the field of categorical proof theory with a se= ries of papers that culminated in the book =E2=80=9CIntroduction To Higher-Order Categorical Logic=E2=80=9D, which is= still the standard text on the subject. Phil=E2=80=99s research went well = beyond these initial works: he made major contributions to theoretical comp= uter science, linear logic, inverse semigroup theory and recursion theory.
 
Those of= us who knew him personally will always think of him as a mentor, a friend = and a genuinely kind soul.
 
Rick Blute
Robin Co= ckett
Simon He= nry
 
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--Apple-Mail=_66C344B8-97B2-4519-A142-61E372DAC538--