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 699 invoked from network); 20 Dec 2023 04:00:10 -0000 Received: from mail-sy4aus01on2106.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.106) by inbox.vuxu.org with ESMTPUTF8; 20 Dec 2023 04:00:10 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=BH5hsWrntorzylZzLJoXuxHRQzXbn/NV2UYr+WW5Ibyi41UyXRVG0p9em7tC8nQppBzssPJCf8rhIC/EpaAcFYFKo2HifRyWsl/oOS09pkxcVyVu5qbJ/gxLL/G+k5tf/gCwimRraysPCaQEd/qsVkzkhByYSF+IjzBIzYm9ACrt1VH3To8pU1I+wVnFNvFGjOQEftPEE4MwGCdKWoUubr8g8z+gWgBlYwRIvXaTgdbBLdOfhQUb+451PVn4bz79yyDLzbpiumMWDxTUh8gb5MRlyajUpFGLiRK9rSGyE+z+7SzHS3ZTM+wJpuque1kuzyuwCbqj5zW7PSKPx6gSWA== 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=0y9iq1u3HL/+7uEoIrHqucdrskhgoYTF2yHrYeMT9lU=; b=lrSHGNdPZr493I1xDKthM/t5SS5IoTa5nrg3JoI+5v0REy+mfXDTQCMft9CD5hFk3bWB0QQV4ujDE0M3UnAiN+Hm0AdVehBR5dh4DHBBffWmekPE1xWsn6pXfhyioGZAe7Hc9Afc/CrI8iPeMQqRImPOuRWETDZqpw8MXmhn5KMO4ixKroXn424p8MtcBS7X2+e19qhu/NeB7Is5i8z3ZerQcxx/zSTMulmgx8qPJm0ysgojzfGNN5PyfyiniTtqBn9tnFVOvHd2gQMWlUQb8CtkzPvQ2nR0x805qT1AhkUdI/LylY5joqN9fEGkr04VjsFHR6Xw7UIds7Hmpx4S0Q== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=york.ac.uk; dmarc=bestguesspass action=none header.from=york.ac.uk; dkim=fail (body hash did not verify) header.d=york.ac.uk; 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=0y9iq1u3HL/+7uEoIrHqucdrskhgoYTF2yHrYeMT9lU=; b=mjxIXYTWRfVJine3hibdlOD8oUNRwtA645smzFqOIEtd90V8KoSts0aF4LilyzgKwi//QicnxryNkLYwFQZv52VYF9xsEuethsrsXEt34tdONXE5oH1CO0NvXYi8G6QB8Ou6M6TYTKmvhMEg/xjVBz9bR80QzCjG6FQ+KA1nEi/+OptLP508k1qKhbYXIRt5YeD+cGir6n6kHCp8o+x0Q9LjAakykTLcKc5MthrYuOhiDWnsDG1RFoG9oBVkeRNaRaABQ898lNbTJL2/YG1eS1H+6ACPFGzpFLmjQy06YSZ0RxZ+zmsh6mTY/oa1YMCnodje3cfHEimDMCZQsDijrA== Received: from SmtpServer.Submit by SY6PR01MB8426 with Microsoft SMTP Server id 15.20.7113.18; Wed, 20 Dec 2023 04:00:06 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fzsRjQBOUbcJE+SM2JofC0+qquJ8g/9zruG2vljYktwRGheHZh/PFfV4nwZ0NQkNkNecNK70e0GDKU/iMJGVtq3PbT1GWAWoOYKprBu8qxlKjhQNCCBFf6RWqTGDlCOY7HIaYsTljCzDs5DkuBjoR/rAWOD2Jfl2wqS3IaZ3ZU9kP8sZJLpKuq5k4H+xHn1OWsz48wIPscNabzxnyQyGqz7HOh9e5If44zc+qV+v4ZVUVh/JWTa1yRpwN6UN5lJQdBFhfuiIeR6mI2b5h6IETgqGws9uIjF11UQT7ct7pLCfZkiBlYvYSHE4fxCtC0BMbJCUrvnBG2wUgXRwOiy+qg== 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=emGsMfy+B0MTKPNNIwFMEiiyRpK1CUwIJoMNjCCK/dU=; b=gC+do+YBUmePbijY0yKDZBoBraCAsoR0ePazJ20n24VGZ6bHG0YEwWszMouCvuamugRnbT3NVpoHaA9X4sMI5Rte6GxruxjyfcMJGxu1wn01nUTsoq2/67CX7F4nJ+Xzcm56D0QWu1S2uwPmuN5pG+N3KxEpUT5TDPQ0vshdxO+R/6oGKbsN7h97PCDlK4bjzOBAWRrDcG2HSnmJa3ia94BBxi3Odqr/HCb45E4jTwoFKY8hmNsqLN/OHL0psY04qd9HIFSxER+lsL6+RDSLHwVy3Y4j/Q/f0jd+llphtaa0TddqHOm7eGfDcFfjiBIGoxdiE6M1WCcUYBknPuLKyQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=york.ac.uk; dmarc=bestguesspass action=none header.from=york.ac.uk; dkim=fail (body hash did not verify) header.d=york.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB6331.ausprd01.prod.outlook.com (2603:10c6:10:10c::8) by SY6PR01MB8426.ausprd01.prod.outlook.com (2603:10c6:10:1da::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Wed, 20 Dec 2023 03:59:58 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com (2603:10c6:10:1c1::14) by SY4PR01MB6331.ausprd01.prod.outlook.com (2603:10c6:10:10c::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Wed, 20 Dec 2023 03:59:55 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::eac5:93ef:a73b:bf0f]) by SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::eac5:93ef:a73b:bf0f%3]) with mapi id 15.20.7113.016; Wed, 20 Dec 2023 03:59:55 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=luGCAYERmWrTtd13/PIymIWrQXEX1YEGCt4t9M2+4gbFizHTaa0Jv+HE9CzGsSBFX4QLvT1lGlyBusxdTxah1tLNBSBa4a2dwPELjM4hM+8rQwNabdigRboX4nYMyakgOohCKqTmkM3UIW2ZZqgPbgQnnkEXnhPMTJD0w8qk/O2qqW2GRy4cIPIMLcmm1RONGp3UX7TvS4JLyn/YlBm77FO9ChgaZcFF4TOgva949pYgKbEnqKJhvMf8J4A9rhFdHpPeUlwQ3470J9SPq1er+JpfZbVKyaxmiM2WU+sslpNwT5lI6Y3xVyl3J2SrzsslOBw8Sj9ckF74+2MpBzDOBg== 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=RE5p63hIykyRVq6XIxIh5/rgP7OlGu2AqYFHQbRWMzU=; b=ZftpaXyEQJxt3Xoky491ZIeRLLhgckgvkIKmWAwulznhhJnamtBtlIwpCh6hQz0JT+mjDfdzjYmwuIAg+zp7PstX7ERO47wuc2vptdOUM6YguDuwxQff5Hc/Tp/GGNDbAFCrDhU3x2XMQcGmv1P9iLe7gx4+LWQ0gTOR8Rsp/sQLFUtFoga8g4xc/1sFaxZt/+qErwOaUKi5cyMMIFL0d1JcGimeJgGNy3SyAGLHXF7j9tDX70+L3PmTLH/dWHy1HSEG2wCdgmaPzbbYHNNbNG1u0ypxdXMCb4r2ch+EmaxQZufreZaoqYCZONzioPpWcfHOHLq5gMZkK2ejXI4zWw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=york.ac.uk; dmarc=bestguesspass action=none header.from=york.ac.uk; dkim=fail (body hash did not verify) header.d=york.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01CA0069.ausprd01.prod.outlook.com (2603:10c6:201:2b::33) by MEYPR01MB6152.ausprd01.prod.outlook.com (2603:10c6:220:ff::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Wed, 20 Dec 2023 03:59:03 +0000 Received: from ME3AUS01FT003.eop-AUS01.prod.protection.outlook.com (2603:10c6:201:2b:cafe::d5) by ME2PR01CA0069.outlook.office365.com (2603:10c6:201:2b::33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38 via Frontend Transport; Wed, 20 Dec 2023 03:59:03 +0000 Authentication-Results: spf=pass (sender IP is 209.85.167.41) smtp.mailfrom=york.ac.uk; dkim=fail (body hash did not verify) header.d=york.ac.uk;dmarc=bestguesspass action=none header.from=york.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of york.ac.uk designates 209.85.167.41 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.167.41; helo=mail-lf1-f41.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT003.mail.protection.outlook.com (10.114.155.122) 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 03:59:01 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703044741; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=RE5p63hIykyRVq6XIxIh5/rgP7OlGu2AqYFHQbRWMzU=; b=FpYFA3HTZHgyvIXIB6/Ngx/WjwoVeLj2Xg2TKDEjLsuengWRecprCKAa3lOycQ5fBVrOYA 21e8Iea9jZh2rCzP9CaTU3lAeDTI66HgeRDIcbqcDyW5zVF7dQsYAp7C3/NVwEQ4ETTsEY JJMEB0sRW9wqgdBGQjzPL3kPcKAWL+XFd3kN4FwUQMez5xAxk07ruqg8dpQB1iW5KjBwaW mh7+aqrOCww6n/wYUyBCZQrIvcUHeuc9W9s8FHH/KCGcd0MnrKSpW1b8g6cmiFZOfhtZk0 Twiv+e7OSoefhRUwLFbKK85/GikI/Nb/0bhymCFrxDMfhHikErIG5nYYPuId8g== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703044741; a=rsa-sha256; cv=none; b=q6y6vbVbKB3r4NtvUZBvBc4+hPlXoMuzU3ni6LTw54vYMzHvAQqbCnF3FkPGwoVadXqd3r sXGcumWzOwhBfwv52lsj0uSsFJMCIbCTiH3YOjKtpvD4XMyZMSwEwsfUmbeExzDbJapgoL MSVlPFHDDOQspliVeJM+C7+h2IoRe0CNXkFyzgkbGnOwj9GIGpmc/KQ4TblNR7zdwuHuoi lLtjO/5BLcmldNLToyJ2xzZrBAXZddeRsZpidIDgawwCro72PTIJ9X16OIDzP/T4iEt/eW ttc5W1okafAJE4GJHJYQuwH1X+Hok1mKMEKXROc5Akw7w+VrN2mP2QAuknLILQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=york.ac.uk header.s=20160523.google header.b=NVdIcvgQ; dmarc=pass (policy=reject) header.from=york.ac.uk; spf=pass (relay.mimecast.com: domain of peter.hines@york.ac.uk designates 209.85.167.41 as permitted sender) smtp.mailfrom=peter.hines@york.ac.uk Received: from mail-lf1-f41.google.com (mail-lf1-f41.google.com [209.85.167.41]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-89-xkqgNU56PdKaBf6f3oMYrw-1; Wed, 20 Dec 2023 04:46:20 +1100 X-MC-Unique: xkqgNU56PdKaBf6f3oMYrw-1 Received: by mail-lf1-f41.google.com with SMTP id 2adb3069b0e04-50e305530baso3772489e87.3 for ; Tue, 19 Dec 2023 09:46:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=york.ac.uk; s=20160523.google; t=1703007977; x=1703612777; darn=mq.edu.au; h=in-reply-to:from:references:to:content-language:subject:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=v+yrFs5Lt7NGI/jLvqfWK6SRbwlcNSo11PzDf2WwAcg=; b=NVdIcvgQ+E4gU8tWN/0aEXTnMXGe3mpp9/feh04r+Fc7sO0zcG8bRcZmzdqLZcveRM g8CbOFvp7+1YNE9/vKOXCQmj5mRQq5qrx/GVipSv/JRTrMaMX2AcLtZqrV93iP3vjv4A gt0QZkK42YbqP7+ldPMXJJDeDc+G3aPmESEnLMe9RAcZEkioxG+ti0MCBpYNGmdG2BQY 4+cFwywfTrMapSd/TVkxOL+ZK4NMrsczF0XrZrSrCyp+V47CuzKd7jV/bV+NCJElY4Hy EOD11f/IjcfLbNK8WU0G2t1pBdpDDbJHiv1cIjhCvpiquFjYRnf+GVLdMDUIqZxu0c6e ShSg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703007977; x=1703612777; h=in-reply-to:from:references:to:content-language:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=v+yrFs5Lt7NGI/jLvqfWK6SRbwlcNSo11PzDf2WwAcg=; b=NYanQVlxTtYMOML+ZeINJCpIUTJy6+ZWROvpAq1JFTJ4Kj8ZwqpluTMS1bZLsbyDML LOc0TuU0RKWIEfMZ+Xx9+vPK26+9LBx3gsqhnw05koLqu9l8RE5kH3WeeDX6ioOFuCGf qxNLI2ZLw+LSNo0qh7Qdi8LF5SwMJTWQofv7iFhTR9s83TUOl8SIp5NF2csQfB0QdMb3 5m8QvjLbe10fJTsWos+vkWwAIh5Hf4wQQimQCHzR3adWTR4L86P0pPID4uKVDf7JsDCq DGS4W6AMq+I7wcIXj9YOy/Jo0yJt6ka6G35Rv0UvkCXq23KGzovHejhHTmw68hcW9BYO ID3A== X-Gm-Message-State: AOJu0YwgOx65TjE5TY5obBvZdmMpdfmL1sh6K+eltnY+loVKiMVslwSy FffVc3QWWJBIM4lwIj6pHii4oGlOUTsfAu2rGArPOA== X-Google-Smtp-Source: AGHT+IGZvfUPTaJv2DOSdgOxN/CcZqNjxgdVxFgX0BDV/pgJ85N0tjCsQv177DygY2tp8fTcZWMyAQ== X-Received: by 2002:ac2:5a4a:0:b0:50e:40a9:c2b5 with SMTP id r10-20020ac25a4a000000b0050e40a9c2b5mr967003lfn.57.1703007976584; Tue, 19 Dec 2023 09:46:16 -0800 (PST) Return-Path: bounces+SRS=YkD+N=H7@mq.edu.au Received: from [192.168.8.106] ([213.248.108.253]) by smtp.gmail.com with ESMTPSA id th18-20020a1709078e1200b00a1f8df4e2d5sm13575990ejc.178.2023.12.19.09.46.15 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 19 Dec 2023 09:46:16 -0800 (PST) Message-ID: Date: Tue, 19 Dec 2023 18:46:15 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Phil Scott To: Categories mailing list , Peter Hines References: From: Peter Hines In-Reply-To: Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=york.ac.uk header.s=20160523.google header.b=NVdIcvgQ; dmarc=pass (policy=reject) header.from=york.ac.uk; spf=pass (relay.mimecast.com: domain of peter.hines@york.ac.uk designates 209.85.167.41 as permitted sender) smtp.mailfrom=peter.hines@york.ac.uk X-Mimecast-Spam-Score: 12 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="------------E1lyf4L0U0Rr9vDxFW6cUgZD" Content-Language: en-US X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.167.41];domain=mail-lf1-f41.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.167.41];domain=mail-lf1-f41.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT003:EE_|MEYPR01MB6152:EE_|SY4PR01MB6331:EE_|SY6PR01MB8426:EE_ X-MS-Office365-Filtering-Correlation-Id: bfe3f307-78a8-461b-e18e-08dc0110004b X-Moderation-Data: 12/20/2023 3:59:53 AM 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: lFkPDihf+BzKg4+eVLmuSRc57uDC+XcYJlQOUpwXuyDcg78uAECUGhN6ZCPb412O7iSK3Sr8jY++VzNDzeGe4ijkzgCk2q/OH7SSfx18G5VqP2Tn8/eE8jnnX5+6E2XkZ9rufDFgXdK1KRVqJe2QtxFIkVLgG1EHXmRtkuw/fwyS9qsRco4bQBE4/WB+tKWO5M+ZVsdxUy4TziKm3L3uIdlJQUZTVQnjOk5S3OOtFpVmKZ4/wW+UyM68HtABivsSWWBVdfzvPfO7YyJz1nU7A747g3r7f5EpjauydCEuhBxwLuIufYFMD2EPTTIWeyGRj6zRKKBgvma3Ofs6hmG8qw8uKu2QtHEOYIJ0QLkXF9W7y2D8RjKBQkFdhxrisxf0wkZL395yLUqRyGRH7DhdkFC0nt2IcQbTaKClYPpyFLSnDRTzZAX9yJDHgjxgB9fyj+HUK4CQ6BOPm+B4mrUGB/Y+Rgnm+Pyve9XaFP/FJLXhQKiTXpNfseP4SJXlCJQpg2lvRRHvYJWLg8WRxl+Q+A2VMxHKXStCm94TjftEA3uatP+b9yj6STgO5o+MnYSyDCu0L88u1QBtzJiIR67NUrxF6lCXpIYpUd2Oh+GdXPJxrs1UbYCFyOLe9f6OGohzEdmAmjr69Ut8tBTz0KcwUk07/jTAFVD5E6QS4HN8JvxzROvtAVAuQi+M6ZVPRr6z8vIPtJHjim1mfJTtAcnMEq9pcoprEpaJpECJQZldoIz4Acc+WQOdzNwy68TgpU+FiBe9VnhGqXUyp53H8hHDwnKYskhcbxO/9GN/cZ2hQHi3q3nO/sNeq7w++rQvqt6dDJLdgwOpKDLWNhRXAiCMvhHvVNGZc64hHg9CTsLwSQuHUpW5Vlzenn0pocSJXtiMb+CBC6bt2Zj3vUXHJRnSi70obidDz+4zb7NbpP+4z30= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-lf1-f41.google.com;PTR:mail-lf1-f41.google.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(396003)(136003)(39860400002)(346002)(48200799006)(8000799017)(64100799003)(82310400011)(61400799012)(451199024)(40470700004)(8936002)(35950700001)(32650700002)(7276002)(7406005)(156005)(7416002)(7366002)(7336002)(2906002)(8676002)(7116003)(33964004)(110136005)(45080400002)(53546011)(316002)(786003)(40480700001)(5660300002)(3480700007)(70586007)(68406010)(32850700003)(44832011)(336012)(83380400001)(82740400003)(40460700003)(86362001)(41300700001)(36756003)(7636003)(7596003)(166002)(89122003)(2616005)(88732003)(498600001)(956004)(31686004)(76576003)(26005)(31696002)(43740500002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: bfe3f307-78a8-461b-e18e-08dc0110004b X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT003.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 03:59:55.3786 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: mslntnVjAwlzYs3Stt10PSaiH4SFnqmch50C/5JINsihyXGjObW0lzi8DCIupaOAZxgyXqSmAWWnGsv9n0ivBY6TjG8vexskIWIrYAHUKmpOCklrX591drTn73ZV7StHeCxV1k3LvQO+q7KjaGjLq/5LDOno1j2h2+IrjEx2cnV2qakqlLZwEwSz/3j4ePih X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB8426 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: 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?VjJ2YmRRRnNGZzNGV3RiT2x4T0lMVUJYMFhYNmJNNUR0UXN6Rno5dFUwV0Vw?= =?utf-8?B?Q0JvUHdFOWdHekt4d1dnZzUwd2FzZWpSa2JtNFNTZFRWc0tDV28rRzZGODh4?= =?utf-8?B?ZUF5aEg1OGJ6U2J1MFJtK3o5WUt6VTcyUnZhMDVSeUhnai9QejFyWkxJNXBK?= =?utf-8?B?N2VSK0cxTFJHamY1MDlTWGVRVS9Hc3RRRGdZVEdLNnRuc2JqdVAzcnVqdUpq?= =?utf-8?B?TVZsem5pdlU5YUxBOXFPdy93TkVwVkRCeURBWHZ5MkhnajBGdTlZdGFnUGVO?= =?utf-8?B?dGJtZERINytrSURhQ1M1bDZ2MHMrZno4WVo2Q3FUZGh2WFk5a0hzUWtUMTFn?= =?utf-8?B?ODNCb1NBTXpaTUFqMzVRdU9UVS8vamFHRGRpd013NE1MRHlBcE0zSnlzQVRw?= =?utf-8?B?VjVWNlgrdmVHVG85aGs2NG5ycnc2SkFCNGxHY2VUK2pwY01xanE5TGxRMHhH?= =?utf-8?B?c2xXZEhmaWlvd25ZUGYyOGVYUWtnYzc1ZW9WWm8vRkVhTHhjNU5WVVF4Yi90?= =?utf-8?B?TkZ6azRFSVpmZFlyN2VQMlJ6K0VsVW1wNndldTlwU01HMWl1L3JnQTFoNkh6?= =?utf-8?B?K2d5TjdPeHd1T0lITWdqeWVvMUJ5UEs2aXhFR1FydWM0RVFKdTg2MXdNeThI?= =?utf-8?B?ZmpjU2lxbWI5SERzR1Rxc01sSmZ2SXE4WG9mNHVCSUdWQkZqV1NScGRZNUQ1?= =?utf-8?B?MGVqeW9wbC9wbWJKU1JkVm8rS2VtSHJwQ01BSVJ4NUJickRUTm5PaG9Ec3Nu?= =?utf-8?B?NkIvdzg5QVN6RzlsSUY2R242V0RwelhoUzJiMkIrNThINVJYYmNOTHRrVjY0?= =?utf-8?B?V2orT1NwMmQ1VUxoZ2N3RTZKSjk1SThTUlg5UHhaYXJuQkNSUjdIRkVFMG1m?= =?utf-8?B?M25GZGJXZXdDWXJ5NzczMjB4RnVJRFlRWnh5YlRmVDhKVW5oRnhFT0ZQb1Ni?= =?utf-8?B?cjZzNUpHWStxZi9IZHh0bjIrRTNwNXRaS3NFTndudkZKT0R4emYvUGcramkx?= =?utf-8?B?cEg4ZjgxOUNKNVhURW5HZWJ2SGtNbjZxbVRUVFJ3V0VLdWRyL3B6UUxSZ3RB?= =?utf-8?B?dmZtd1RCb2pMenhJZi9qRE1meW9FSzl2NGtHTEVTeHRzYWphMUFTTHlpSCtY?= =?utf-8?B?QXNQckdyYnZubVU4TnBpc21MQ1JyNkxFU3YxbUs0YjhucXVzaU5XZkVzejdz?= =?utf-8?B?d1lUQVE3c1pPK0VaZEt5SVNZNzlDdDBTdVlQM2dIeUg2TDd2am5EaSt6R3dV?= =?utf-8?B?aGNYUUtxTTU3MW12aGkvWFFCNzVnWmNJV20rY01nY2wvelczNkVlOGEvV1hj?= =?utf-8?B?VlRpb3Bqang3bXlUSzNxb2RCdk9OL0ZWTlJBczA4eHRJZlN3TkVFVjdYWmJY?= =?utf-8?B?ZTZKSzlOUXNEZVBzamRUMEI1aVZ1NTMwWngyZ2xURDJOYklwenM4OUZjbkJC?= =?utf-8?B?UnltQ1JRVjhocERTSStWYTAyVGpLYmJUV0lLaXAyVkU0d3EvTnlWMjFWcUpD?= =?utf-8?B?VzBqU0x3QmNHeHVSMW0xdzMzMXNGdHNXd0p4R3NvTXVDVXlCbVY4ZlFxR0NX?= =?utf-8?B?d0czNWpWamowdnhmcGpKSUlxM0hCZTZYOWVkcFJmL0piZzZ1N2xJc2JGNDJ0?= =?utf-8?B?N2VJeEJ5ODJXSlJlSXF4RlF2amVtRWlWSDFQOVdob0NPcFpQalZibGhlYUNp?= =?utf-8?Q?BcpXE180VgEu6pWlYvJX?= X-OriginatorOrg: mq.edu.au --------------E1lyf4L0U0Rr9vDxFW6cUgZD Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable I just wanted to add my name to the list of many people who will deeply mis= s Phil. As well as his outstanding contributions to our subject, I and many others = will remember him as one of the genuinely nicest people I have ever known. Peter Hines On 19/12/2023 05:10, Richard Blute wrote: 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 --------------E1lyf4L0U0Rr9vDxFW6cUgZD Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I just wanted to add my name to the list of many people who will deeply = miss Phil.

As well as his outstanding contributions to our subject, I and many othe= rs will remember him as one of the genuinely nicest people I have ever know= n.

Peter Hines

On 19/12/2023 05:10, Richard Blute wrote:

 

 

It is with g= reat sadness that we convey the news to the category theory community that = our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long = battle with cancer.

 <= /o:p>

Phil=E2=80= =99s many contributions to category theory are well known. Phil and Jim Lam= bek essentially invented the field of categorical proof theory with 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 tex= t on the subject. Phil=E2=80=99s research went well beyond these initial wo= rks: 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 Cocket= t

Simon Henry<= o:p>

 

 
 
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
 
--------------E1lyf4L0U0Rr9vDxFW6cUgZD--