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.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 32019 invoked from network); 26 Dec 2023 23:59:48 -0000 Received: from mail-me3aus01rlnn2051.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.95.96.51) by inbox.vuxu.org with ESMTPUTF8; 26 Dec 2023 23:59:48 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=VUK2BVM+0wL7kVUjNisVB1YS3Fqbw8eZwfX7/S39mL8bgKvjgZl6TlglG7SGMFFXo/M+GYa7iv1VDP8ZjUstG7ZjKYBSIk/2DxpWOLRJpY2gdd21iOS4zLy6oUQ0ONMU6sXr7Z0BXu0Z1djBhqQJTJPRb5mGArfmzrCeI2pdakRhOYlBsmExc+/0XiGBSHYJ1auR7PWVzn/t1xJ6ZPo58bFua+xMKZ++bjE5qiWlOgQoPQKpV+Vw/P78C4oNoy8N6pb2WWk158kImphPVedgBK0oobZuOmxPSbpR2dWxgApNiB5aq+onAX6OvAZl7NCTE201Cm/mOf55oHqv87Ue8A== 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=+ICQFjGCD+kDRGvDD7Ncuj4zr8Mr5nuLBdy3N1h32kw=; b=aVJejHmIB1N3J3iQvgjNfkOQ/IwG7CYiuVSYDOXr5QLOjscZYa4vmtpS3Ho/Z8AdPS4ryGdFY+Ys54r7NHbaeRz8piNE0H9NGlLYpRA7+yxVq6gRsTA9I6K8sSGyzvjGgUV67bjWu6EwoOVrVBN4OD36ZiG54K58Q+4js100PqBIFi9XsgBcKFciISBEGYRCV/dYYftSjPJU52T91/zhVJUvzMu5tRyzOYD0YywPtdeE3sE9uT2dnjqnxVrFH/QQtZujOa3zKf5+Qa6CNTfy6WvS8e5HaaHdIfLD+nCvejgdDrxnp88f5NhiOb6q7nEI1uUEPqLQBw7FH2eaEfjppg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=none (sender ip is 171.64.64.26) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=theory.stanford.edu; dmarc=fail (p=none sp=none pct=100) action=none header.from=theory.stanford.edu; dkim=fail (signature did not verify) header.d=cs.stanford.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=+ICQFjGCD+kDRGvDD7Ncuj4zr8Mr5nuLBdy3N1h32kw=; b=k20CFjmHC5pOANbRF7wjimvOOGQXRagW8kRGf/PqLAk8vOm5Cp4U9xlgcJ1AniGQzp9oYrYID2DbC9eE9eS3BruPnmDob4LHAFPTDeZRPtSAW06i9tPKbtiDsgMuDM55aPTMw1uIzzx3PrqNav/IrIY5yeNN5H+YEzR9wOCgglCPm6vq5oRn1+Kh2n28qVTw3gVi901iYJzLlfiaIN5VlvRwUVGSl5L2gMV/34UePcBw5fN841bN+DwnZYw9XA9V/0O72CeWoucZ2PLd4VzBhl73R5lpDthfJc3Phm0lK9fyUKby5J+Logb6dw5tW3XP0uICsKdzoHbazQ+UNhcL9Q== Received: from SmtpServer.Submit by SY6PR01MB7729 with Microsoft SMTP Server id 15.20.7113.27; Tue, 26 Dec 2023 23:59:44 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=X0/zQdi5f/iVcM+GN3tpbJqndrmP3/iscj7IT1ZGg7sGYKIwYqD2YxoihBX4JPjgUki/iIyR5/zmd2NAsWvVUYVZadrLoxo0KNeKzCie/oYbkiiqKTfbNsddxKdTbhB4X8alCjMX0c4KHrkgHT7a8FUL9f4C0SGuyKc9coVggpzluZOufAcyGEbfUvY5EGMRa+RsCZN6ZDm7w8OogXdE+iVgydSq7HRuf0hJQLVn1gW7h5bJgOZuc44zjKB2uI8FQk0+Y3y5uQayhDK4nNmsVt85hHvV7PsSCWqG8nN2ynSuDjx4Iw6++2cNrT+SZFbz4gzYt0TnSIZv9/y2lXS/wg== 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=ag9uI68Q5fHarmXISATDlXA5GFJDKIb0ax8MyfSpY+Y=; b=XeljQRNIW7tDviMh0Xv5cZXvoORiJGG+e1ssLpygV6TTaFqbvSUmKStBCxZKsGUwkLCLLwhwmC76cZqRtow4fJG8aLc4pTOvy3rJqBqHqNNGLAkaGeYdCseftRozxaQKdZsTVE/t5r2WIVoLl0wF8rjkHY56Wha0qU1hWHdoXb6j9Rqh3rq06kbWlbzqULRA6S1t3IdmQmOMDK2S6ozI13tNsQucQvermsm5jwymqcbfTsQ5fUltwskhR3J0Ga/ewH7ynT5PcZRykIr33YjcmH5vYl9NHEjpwSb+/JtXdZd+Cx+Dd6FMX67JvYSvtUUHdl3k9EpI6ybQfN/JISCmbg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=none (sender ip is 171.64.64.26) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=theory.stanford.edu; dmarc=fail (p=none sp=none pct=100) action=none header.from=theory.stanford.edu; dkim=fail (signature did not verify) header.d=cs.stanford.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB7923.ausprd01.prod.outlook.com (2603:10c6:10:17e::9) by SY6PR01MB7729.ausprd01.prod.outlook.com (2603:10c6:10:174::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.27; Tue, 26 Dec 2023 23:59:39 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com (2603:10c6:1:22::21) by SY4PR01MB7923.ausprd01.prod.outlook.com (2603:10c6:10:17e::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.27; Tue, 26 Dec 2023 23:59:36 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::d301:121b:e5e8:e979]) by SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::d301:121b:e5e8:e979%4]) with mapi id 15.20.7113.027; Tue, 26 Dec 2023 23:59:35 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=JWarNG+KEnF0hWdU42pFWQ/Okk1S4F3c2j/a82XPeWol/GmDSdymMWCSECvDgnIEF3AeQBlzwnuAI3SS4qSau9I7q1CJrceR5VvOvvFbS0sfJnryBLQKHr1wm9M+bfHzlQOMEEH28FlOAXiBDdkKcww0eD1kJ/2xM2T/0OB+iraziJf/X7LSYSc49BRRavbYmduUeMkswukfT4zQSCR0L0EW/oU9JzBuOhgnAu17wGRY17lftw/NXrNezVuppQfgCkGQCgfbftXaxDCqnbzTqqwCqkGiAKEa36bYsNCDusOj0BrzgO/YKXVDFOxfOMySdJFJ0eUtaAIu8TGiXaQ6PA== 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=ag9uI68Q5fHarmXISATDlXA5GFJDKIb0ax8MyfSpY+Y=; b=QH1gFgZYbF2KkCZtQNeE+q8Pf4lHW9WG3VYXRjHM6gsAMtsVigpKFL1jM1/A5GFU+JLF1vED7NI5PWmP6hTXG59xOooQYMrb4R7mZyL/lMDTolVL0l/Urx10vl+ODzqyIbp7eA9ugm0qvnhOcvV9o4d7pkPyUuma2umN7RODjjjkeyFRsnyB5nkKWZFZ4etddao3LmiOGIDC4lDoVmg8uxHiWyI6M05B3wIHATXDlbmGgFWqZLvvEpTBSHbI/rETkofbDFpSISuywCJUatDl3KtOAwxG8mph+nSR5NciJ8D5GzTMwsWPO73bvlBYzziDaPD2DJml0YtqojiIO6j/OQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=none (sender ip is 171.64.64.26) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=theory.stanford.edu; dmarc=fail (p=none sp=none pct=100) action=none header.from=theory.stanford.edu; dkim=fail (signature did not verify) header.d=cs.stanford.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY2PR01CA0028.ausprd01.prod.outlook.com (2603:10c6:1:15::16) by SY7PR01MB8898.ausprd01.prod.outlook.com (2603:10c6:10:214::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7135.18; Tue, 26 Dec 2023 20:41:24 +0000 Received: from SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com (2603:10c6:1:15:cafe::1b) by SY2PR01CA0028.outlook.office365.com (2603:10c6:1:15::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7135.18 via Frontend Transport; Tue, 26 Dec 2023 20:41:24 +0000 Authentication-Results: spf=none (sender IP is 171.64.64.26) smtp.mailfrom=theory.stanford.edu; dkim=fail (signature did not verify) header.d=cs.stanford.edu;dmarc=fail action=none header.from=theory.stanford.edu; Received-SPF: None (protection.outlook.com: theory.stanford.edu does not designate permitted sender hosts) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT020.mail.protection.outlook.com (10.114.156.99) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21 via Frontend Transport; Tue, 26 Dec 2023 20:41:23 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703623283; h=from:from:reply-to: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=ag9uI68Q5fHarmXISATDlXA5GFJDKIb0ax8MyfSpY+Y=; b=FCelAvmk85QBTKwYsvpdoTmGi2Ydk1RrOklzE+5OUDLSsDyhVBgFcLHnwFKGplygLpq91r afbik9d1y6nmWdauPs/eXUtvJ9XUDINBnx7kR65tfiXTXX7qkgPjshOl9fMVyG7t2VtB+2 FOM2DJ76j2PZr7OqKou/g/LS5X2q4ivAqnYFl01Y2l5P3TNvuxTHJiqXTY6iGSnhPnXXWY R3TJ9hyNsqsHyyWIrO6kKKyKYREnj4110KdPGpX1hdE+/iNsRrZ+5fflhEfRbN+68itbKJ lI9g2bVO53ruVdpc5kDO2Zxp11KrGhPGzJQ64zEhaysLTFc+FuAYtfwCZXxPlw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703623283; a=rsa-sha256; cv=none; b=KP6aOkoPCqwaUcfOlybWZlHBb8ek8eKPEVcit2NfbqNGgMkebOBikWrC/uFDicPlqQqt/q cQnPocviXMWGj25qkE2CrFdHc+Xx+05JwybqdcsznFI8UExO/zvqRlul2wBu7bky9K6P4u POS8Yzq69c3jZM0mYJXLm2RRuohLxjSUQ4C8fEP9Zl5DN1pnTozFdMYwnkVHJmRjjrrMDM S/kpz0hueZpLCskDj/leZCIWGjfsF5q/73/GrOhRXskK0Lrxe0Uh/5K6LrmGsFhYZFJBp2 vruh3GnlevRcU8/QVEZG8qRx1bZOJBURIOkw+I3OfTIoMYKXvUyfjVJk17s35Q== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=cs.stanford.edu header.s=cs2308 header.b=McYqwecI; dmarc=pass (policy=none) header.from=stanford.edu; spf=none (relay.mimecast.com: domain of dominic@theory.stanford.edu has no SPF policy when checking 171.64.64.26) smtp.mailfrom=dominic@theory.stanford.edu Received: from smtp2.cs.Stanford.EDU (smtp2.cs.stanford.edu [171.64.64.26]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-111-EkSwL1XUM0Cy_iyEFQaA-w-1; Wed, 27 Dec 2023 07:41:20 +1100 X-MC-Unique: EkSwL1XUM0Cy_iyEFQaA-w-1 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cs.stanford.edu; s=cs2308; h=Reply-to:References:To:Cc:In-Reply-To:Date: Subject:Mime-Version:Content-Type:Message-Id:From:Sender: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=CWN8jIzXThnbH8ELYHokMnTmDF6pf1+pCtD3G46TZhU=; t=1703623280; x=1704487280; b=McYqwecIcXjKEKHWGu2bfgWtjeb+0aWb9/3GszfD7qldPsDa4bUFu5HdjGQP/7f+RTi15+oywSe 6TZay9H1jDtIrpss6S1o0366KXC+z0MPUI+dEjEQO6HJ8P3TXHtBurjegirIlL48WBJSjYIPm1Uwj /WwerF/d7S2figUdXZPowbMI5Ya/msnnWHum2pmWRwWro2W2jYOlWyThjwFiBCkkkY46S5NVhxTao lpIi+S3mRGWuHDWq3J/7L2LKtA0dzOwslZtuskYesu/pgx75OOMdWtPbnj7gd9N/Tu8CkCOEHFP0L mJl2iVpjzsAP60oVNkG6WkB92UPkoYMKfBQA== Received: from 99-4-122-227.lightspeed.sntcca.sbcglobal.net ([99.4.122.227]:62417 helo=smtpclient.apple) by smtp2.cs.Stanford.EDU with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rIDx4-0008UD-HT; Tue, 26 Dec 2023 12:22:59 -0800 From: Dominic Message-ID: <84CCFB51-1148-4633-B5C2-196EA73AC003@theory.stanford.edu> MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3774.200.91.1.1\)) Subject: Re: Phil Scott Date: Tue, 26 Dec 2023 12:22:48 -0800 In-Reply-To: CC: Categories mailing list To: Richard Blute References: X-Mailer: Apple Mail (2.3774.200.91.1.1) Reply-To: Dominic X-Scan-Signature: c27443d4b1bc92ba3cf3cf07ec48b2dd Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=cs.stanford.edu header.s=cs2308 header.b=McYqwecI; dmarc=pass (policy=none) header.from=stanford.edu; spf=none (relay.mimecast.com: domain of dominic@theory.stanford.edu has no SPF policy when checking 171.64.64.26) smtp.mailfrom=dominic@theory.stanford.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=_46C25805-314D-4401-86F6-131A189F8563" Return-Path: dominic@Theory.Stanford.EDU X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[171.64.64.26];domain=smtp2.cs.Stanford.EDU X-MS-Exchange-ExternalOriginalInternetSender: ip=[171.64.64.26];domain=smtp2.cs.Stanford.EDU X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT020:EE_|SY7PR01MB8898:EE_|SY4PR01MB7923:EE_|SY6PR01MB7729:EE_ X-MS-Office365-Filtering-Correlation-Id: 1842c2db-70c0-4137-8289-08dc0653063e X-Moderation-Data: 12/26/2023 11:59:34 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 9w9IjRrKNeESaRpPWtUKAza6lhZsSX9YYCHX5guFEDwSnw/PVttrNbNE4+hWuPe5pfR/ehCQ4x38PKwPd0N+IjcHyW8tGoepyYsnBHjiIJvNyzNhq4wqqau30BdKZAFSSX2ZND/SuhOw2elJsA1oQoTa0thepA8jGLi7+cVpkVYKyziFbVblxtfDuyWsqLxDktKL5WEp65WyEAjQZvAlLrNmsnFe4muwXaN23bTaAYny3OM0gq5mF5/XDXl0mwHKdF3gblhlppazbD00FtOZK4cc/ig8nPCAOD18z8B19OaeX4UX+H54R044JiprJEuSITfUOaaYu6qIt6qjfGZ6bwTUKh3krVnnkpe7WuuSjfUO0RgMM0V8xVh3k/ALPXTP0M59Ew7VflGmkCeaPYWm8lDBR/piEqW6UnQhvEUXXcz38k/8ih3hb+E+eez1eELO0WW36G4v8bkW3bce3bD4w8nBydhGHpTr7rTMORaQClTTTmxY/TS5pZPme6AZ3j6crIstWq7d5MbSvtSpSxM7gy8IQUEfM3c5pENyO7MKdWfIMCyuYQnXFVfspdjN4WOId6rdT7yD+Qe/r+jqpei6z1XRaCtrLP10G+Tz2KxqyWR+WdBa/wr/OX9C2UdrBD8c8C3HUncD6dytcmhJFxSym1jgVRwlz64b2LfmvoSLij/4CZWi4hQX8iXdrvd9iFhmS3pZW58H/1mRC8JkXHJ3MZBOHVN8t9SkII3ZcWCTF9uFMhg/36ChgtywKztFvE7/srLP1dh9MvgxtgCowrC42CFxWBhhjnRAo6OUKDf+yVvIqPjYjfytnN4VRD6I0+0G7M5uJ1giveMROhxHlpy646THtKazMVSMGNOdTcODy+Q= X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:smtp2.cs.Stanford.EDU;PTR:smtp2.cs.stanford.edu;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(346002)(396003)(136003)(376002)(48200799006)(8000799017)(82310400011)(64100799003)(451199024)(1800799012)(40470700004)(40480700001)(9786002)(2906002)(3450700001)(6966003)(6916009)(68406010)(70586007)(5660300002)(40460700003)(7416002)(7366002)(7406005)(7336002)(7276002)(7116003)(4326008)(8676002)(8936002)(75432002)(316002)(786003)(41300700001)(32650700002)(53546011)(498600001)(33656002)(88732003)(33964004)(6666004)(45080400002)(76576003)(89122003)(2616005)(956004)(26005)(86362001)(32850700003)(336012)(83380400001)(35950700001)(156005)(7636003)(166002)(82740400003)(3480700007)(41080700001);DIR:OUT;SFP:1022; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 1842c2db-70c0-4137-8289-08dc0653063e X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 Dec 2023 23:59:35.9508 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: kK+D9xTOc5uUEM5ccAAEc986++yW9epuQwensLFLx7Rq/TsWvIklJBTO0DW5MBjQQj3cnJpD/Mq6A1HK3AWhunvmav4D4WHgS/zYXvBFkfQbl/aasLV0QsJbV3KlJVJXDFsExGB6YB7PFWbGw2zdiP9bggArrpyW3WN+cASr7P+rADDxKdeBgcKMrysksOb+3Bvu8SnxRpn/GyKGPWYB+fE1rCdFBlZpT9LcWJRXsxQ= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB7729 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: <84CCFB51-1148-4633-B5C2-196EA73AC003@theory.stanford.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?RTdJdHUxUXFyZU5XcytIWEx0d3JCMU1rOVFIemJoN3c5aDMvMElFTU4xK1NY?= =?utf-8?B?NGZKSytlZy9uYjk3R01LNG0vRzhUZlFBbHNIL3hON043dktheGxqVURvVUl4?= =?utf-8?B?LzF3SDk2cjJ5bzMxWkVOR2cvdEUybTlYUDZTYXRDcld5L25zaVFuUytweG5w?= =?utf-8?B?UXd3T09CcjBsaWpvRTFjV3FHSDFuNVplamFwVm16ZnhaTldoZVpoTE9naVIv?= =?utf-8?B?aGsvdk1vRXFNUHVKWkw3K0tWS2lneEVTVUN4UnpDOHJIWjA2Y1o0bWhMRkF4?= =?utf-8?B?TEk5VGJjbXQrVWp2VnlEQTNDelkwSVZtUkliMnZSZlROVjRBMU54aWpIS1lX?= =?utf-8?B?amNlK2pkYUVKQ0lMSDNjMENabHA0UjdGUnM2ekc5S3hMUzBzUjh5cTRDWm1q?= =?utf-8?B?RnRxRlRGOWVBb3kyVzRtNE5hYklsTC9WNERPMmdJb1hKbXRQM1FZVDI2QWZH?= =?utf-8?B?T3Y3dzJzTTN2ZFU2SzJxWnhMU05CcGM1Q3dBb3NFYytkRFpPWXhWeXRqTmx5?= =?utf-8?B?WVZXbUNESTdRT3ZuVWt1QlVSbStDMEpyQktqaFpidklvMFBmbmtmOTZpbHFI?= =?utf-8?B?Ylp0ZXU1NWV1SlBNeUlCZVR1YUdVK3Z0SkJQSTlHS3hOOUZEQkhhQWpjczFR?= =?utf-8?B?SEpuOElVSTNESDViYTZkSi9MdjAwYkQ1U012aG02ajBNY0tWOUo2Tzc0aDA0?= =?utf-8?B?WWFMR3pDU2Z1R1ZVVGNtNnJHdTVlTXMxQWF2ZjdoUWR4RGNETVUzNmQ1ZHVa?= =?utf-8?B?VXVJRWhPUThuemZZQUQwdkNlRHdGZ1VBcWdyNVpZb3ZtWVVNanp1ZWlJK3kx?= =?utf-8?B?QlpDSGF1SXQ4dGFxRVN6blQ5WCt3U2pCa0RXNHZwWGdQQ3AxaC9PdVFhTXhh?= =?utf-8?B?bDFaYzhYTnM0M01iOUxSeE5XdThlbldIcmlkM3ZiYXdtU0tobVRrVGgySC9Z?= =?utf-8?B?UEhGUjREZzdEczc0S0U2QVBJNWYrSVNJMTFpOFFRd2htZTZDK09tV0hsK0ZU?= =?utf-8?B?VnlENWxzTllzYnlHSS9kVXQ3aTlwL05ObWc2OEZKbmdoVGRZK0RYWGFwenkz?= =?utf-8?B?bGJtbDdvQnUwZlFXUGJjNFZDdkdSaE1UVTJMeC8wUm5JUmZhSGt5YnJIWklN?= =?utf-8?B?Z2ZqOS8yZ3FWcVRCT3lZY2RvSm1IbnovRkhSc2ErOTdJdmRXaEJ6T1BIS2Fz?= =?utf-8?B?MldDek5vU1laWnR6ZjYrVHpRWnNreEFsbmlJeHRGS0FSWEVEMTlvaW1OSjc0?= =?utf-8?B?MXlVdjRIWmkvMlA3Y1c4ZDZod1JZMkM1V1VmVkk1MGFlMDMxZmt1enhQWWVW?= =?utf-8?B?WFpDRHRhTlFVNWFaa3NLaEt6VU01cko5WEVCaFZrVU5CVGdaUWdNckovUnRB?= =?utf-8?B?U1daVkVOcmh5NkZsR3VhbU9VWWsvUzN6d05LaXQ1VHRMMVVnbENaSkVEaVZy?= =?utf-8?B?WGtpbDNsUnFPaVR2dkZ1SWtzTFNrcFpNRlg0TnFRZFBXZHdQMGJNYy9Jd0Fw?= =?utf-8?B?Um9aWXVHQkxFYjVSdTZrSURLeUM5SzE1VUU3d0I4TG1hSGwrWGVVdys4aXlJ?= =?utf-8?B?bVQ3VjdaVmNYZHRSTlhCeS9ENW5IaDRWNllNUnhLQ0NJQ1doUEF0YjVWeEVo?= =?utf-8?B?dkE1V0FYQjFsNU1vNm90Z0lHWlNoV0hIWTdxZURSYTdmeVNRL1VmS0JMZkQ2?= =?utf-8?B?elZzaWhKMjQyWU55cXg5Yzl6S0x5TExlYW9HRHR5bEFhNHVweElheEJHa2I2?= =?utf-8?B?Mnd1eXhvVm1tbjFudlNLMU1nQ2dkb1AwcmJkSmlkV2xZcHBjcTRaYk9ERW1M?= =?utf-8?B?VUMzY0tDZlFNaDhXZHlvckpVbWlUSlRkZE9VWDFGMDdERkdORGxDRjFiTXE1?= =?utf-8?B?OEFjWmxORWRuVDc0K0sxWUNpRlFQN1liMkVIL3NseFRmM3E5ZzA3TGRRTVhy?= =?utf-8?B?bkMvTVFVN2l6bDJGdnFLM2dCTVpXVzhOZkVNWlBPK1BSTXBKMlpORk13dHJs?= =?utf-8?Q?GzqtDTmOr09AdrxH6JMkzsntoNy/Ns=3D?= X-OriginatorOrg: mq.edu.au --Apple-Mail=_46C25805-314D-4401-86F6-131A189F8563 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" A heart wrenching loss. Phil had such a kind spirit. When I was a hapless young D.Phil. student at my first ever LICS conference= , he took me under his wing and was very generous with his time. One nugget= of wisdom he taught me years later was was his concept of LPU or =E2=80=9C= Least Publishable Unit=E2=80=9D: he knew exactly what I needed to hear at t= he time as I had hit a wall with in an excessively bloated draft. An incredible mentor to so many. I shall really miss him. On Dec 18, 2023, at 8:10=E2=80=AFPM, Richard Blute wrot= e: 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=_46C25805-314D-4401-86F6-131A189F8563 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
A heart wrenching loss. Phil had such a kind spirit.

When I was a hapless young D.Phil. student at my first ever LICS confe= rence, he took me under his wing and was very generous with his time. One n= ugget of wisdom he taught me years later was was his concept of LPU or =E2= =80=9CLeast Publishable Unit=E2=80=9D: he knew exactly what I needed to hear at the time as I had hit a wall with in an excessive= ly bloated draft.

An incredible mentor to so many. I shall really miss him.


On Dec 18, 2023, at 8: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=_46C25805-314D-4401-86F6-131A189F8563--