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 23695 invoked from network); 19 Dec 2023 17:12:49 -0000 Received: from mail-sy4aus01on2109.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.109) by inbox.vuxu.org with ESMTPUTF8; 19 Dec 2023 17:12:49 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=algYZSh9K3xvzRYrbDz8K4yUvaPx64lt5fBzj7ZHcDNVaxeTHmKVAFJbJMGwlu5q6LealVtXmUgY/9IXQT90CdkTg2MLMcV85S7NDn2suvEaKPrqEB0jp0WnTxZdQ/npWo4koSkmLuXjPki2a4fE4c5RIbwIpTqLsytM+y/29MEdcJAG8biWeY1/c2RDNsnUHIR+2WK7h/71Ni9BrKppVQV74jil5D9hKK5kvAr8nRl8RMgGMHo2VSr87OgQAJFV8Mc1Tlmfpvqj9Rdlz+tp3XtFPbX5psXX9tNYaS8ct1TRn33pPTrGkXlY6SkT/ZefFL0wvwm7HCSaaDcCm9m68w== ARC-Message-Signature: i=5; 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=EhU20aUQLr2d9SawuFHjRFDc2ibkODwgF5itrxUyNPg=; b=AntOGzFttMb9jLvuGi+/jHSNfJFqK8O+4BXj1lGeoFEEznQiCdOBc4PG0b8tJ7A0bCWNCU5u5QU31GZ/5XxGsGIqe39uC5U1lDKXyldgFTBnwtCCsX1eUIHb7fGtq6qZq3Fq51FO4axqrMmJ+/8tN9jh43BctNVqNE9mFq8PHY1NYl4JmkMHkgUvXvSbnpGoPyFp30v48wyv271XpKcdp7248+M0+6xTW2Tldkn3NXDlDfh+AQF/Omng6zX2xt4+5pAq6VdkzvD3ASsmFSgazwi8UxIsCMC4Nb9gHY0IzmP9n+lI1aNdj/QSeaeHFauZIp/8uLCMqyuRRm3xTpq1Pw== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 129.215.16.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ed.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=ed.ac.uk; dkim=fail (body hash did not verify) header.d=ed.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=EhU20aUQLr2d9SawuFHjRFDc2ibkODwgF5itrxUyNPg=; b=i7BRVr3K6X8r2S0ouJZcEH9+uKX6eNvc2zJ230Y0x0YTcH8TFQVwjsjI6Vs8sYxExrMZLqc/lQgltXkAlrO5jukTLCPjKUgyMShTsiGYQwCZWV76zfe3hZhF7ExtpQ1AlpUS85wbUuhc4Im3HaXsI5UDbYMHH7DbYCCrzzAc/9eUGy87Sf8rwSADx0CJkS/2urRl548DSo/rfMKyEgv+n4y0jbCynIoWeysjMhfZsnawEuhVBzW/h8uNxOKLJZmjje59s1Zhj8CxR8YJWsTcaF1KeR2LBsu3V0jP9HuUZQhubewLKprVQhDljYHzIbYbU2B+Ez3na2fJ7IbistzuAA== Received: from SmtpServer.Submit by SY8PR01MB8628 with Microsoft SMTP Server id 15.20.7113.18; Tue, 19 Dec 2023 17:12:45 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fr9fPHpC1adZ4/8cOKyHt4gWYaaz7l6mBxGCkNyYHBiRZIL14VxFX7OesxxYyxOSAHI3zey4TCWXYsPyENRfLt2RM5L6H3a0TbHU1CaYv1SXNUCqvDWgStAyfkFLRYHwkRxV4ZGhOzgParj/u7dHhhjUNJScduXajqEsmAlFjYsH4m48U87Ebp5agZ0oU19bBHl/bSFuzqtuLCQG8yOnmK7h8LkMCkRKUyU/xIJNJz9qeUh6ZE183ZPQ6GnUeRIQ1pYcUw7IK98m+elbu5UgfmMu48C2QttYM7E91dQWitNoLaHFQXXfdEzD+1jgw6hlPT1OFMaE0xKXM5g/tTIoUQ== 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=+H3IitbmCL43d0eq03TyP4hbPLyOAbBj+Kz2vuv6/zI=; b=kBDSeFihaF7grjdeKBaIKXP8TJl4xk3UFH78iQTynhMrEg2PzIau1v5nJZJDCMsRMs/u+3d3as8uEB//H8X70XU7ZRiMd+dBFkwvz2RcZkFvtW5zgBCpbj6gEQT1gtekErDVwGY0EFnHxswUPwgi65gD8H9WRqrhhqKmVMIupGjFg11l4+RK+2ulHD1pMquNG8TbeazEfQhmguHqu7+r2Wge/pvWyKIy4nBrkau3aezJ5X/RH9reoYdLMBy+/cVs1VhH69TV8XjeGio4HBqV6WkBibVSLSk2HxCfJ+bcvo19KIjss6JptRZcv6WUzZhb9vm6Hfv0/IFb+IIXwZU2XQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 129.215.16.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ed.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=ed.ac.uk; dkim=fail (body hash did not verify) header.d=ed.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB6295.ausprd01.prod.outlook.com (2603:10c6:220:fd::6) by SY8PR01MB8628.ausprd01.prod.outlook.com (2603:10c6:10:229::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Tue, 19 Dec 2023 17:12:40 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com (2603:10c6:10:33::20) by MEYPR01MB6295.ausprd01.prod.outlook.com (2603:10c6:220:fd::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Tue, 19 Dec 2023 17:12:37 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::38aa:4bff:d0f4:3983]) by SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::38aa:4bff:d0f4:3983%6]) with mapi id 15.20.7091.034; Tue, 19 Dec 2023 17:12:37 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oMsF6RrkJVqp0aa0RFFzoCyQnJNkx+z3MwmG9BlK4Jxsq/g/W/7FiDuHO51f+HCf5WDf/Io9K9FeSVt0kSvNQLVtLXTiEyyLpYBEX2621Qgc+AYhzo+f7CJNjLlAbvdOvsW3/4wMpEGESxfNFg60CDajgglFXhT/fKTMTJ399ymWw5FOUrDD9HVh19TUzZNLUD79pjOVzGBNrfwSyvCVBq0LfWSOZzhB9c7+WZWwnhk0Br41ud8vxEBkNGNbH0TQOTdBbUd0Iic0SQT0faDqfdhc1lAeQnO4DTW0wHG5YWUuV9Mzsceir6SBaOkU2E4fa4D+s+I2wSsVDYCpxpQA2w== 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=+H3IitbmCL43d0eq03TyP4hbPLyOAbBj+Kz2vuv6/zI=; b=Rpv5qL4IhVRMQYi3ZefBh7dvsuQYbtYKnG8WSBf/czVzISLMpRAQMgZMbc634oeqNPmtPqMQPUu6MqgRjw3QuKmaPI8OmayW9o4OOGQOxJ0VSYL1QzNz+NUlUP1Jm41ebxBjaQsSRGs5ucCiYv8EBXXDNBEH2zJXwstJXf3HkZK3mXMhW4c485yINP59LE5IC/q/NzDewAVI8xFmSCp+FUcvHmGOaz+6kLllQVv/wOqxE7+cuFd3oH1ZUbiudw5++miOIrj51E0yqcoGDRUKuXg1Pw1Lukn3YW8IzppLcPkEaf3VjeV03Rf9WTe20MKsYiwmsg3FnvQOx4XFAxDs0A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 129.215.16.10) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ed.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=ed.ac.uk; dkim=fail (body hash did not verify) header.d=ed.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWP282CA0065.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:1dd::9) by SY4PR01MB8184.ausprd01.prod.outlook.com (2603:10c6:10:191::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18; Tue, 19 Dec 2023 17:09:04 +0000 Received: from ME3AUS01FT023.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1dd:cafe::2b) by MEWP282CA0065.outlook.office365.com (2603:10c6:220:1dd::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.18 via Frontend Transport; Tue, 19 Dec 2023 17:09:04 +0000 Authentication-Results: spf=pass (sender IP is 129.215.16.10) smtp.mailfrom=ed.ac.uk; dkim=fail (body hash did not verify) header.d=ed.ac.uk;dmarc=pass action=none header.from=ed.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of ed.ac.uk designates 129.215.16.10 as permitted sender) receiver=protection.outlook.com; client-ip=129.215.16.10; helo=loire.is.ed.ac.uk; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by ME3AUS01FT023.mail.protection.outlook.com (10.114.155.164) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.13 via Frontend Transport; Tue, 19 Dec 2023 17:09:01 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703005741; 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=+H3IitbmCL43d0eq03TyP4hbPLyOAbBj+Kz2vuv6/zI=; b=lMErpQWXC+pmx9hdP4JKhAQkL0zK3zd2IO+H9SJhF4EL08PsZeWzuubBKV7mz3nfRPzDRg P9jtz2vjPbfe0EOEvek/jRvQfWeb6bkwfTYzw0Je3kXsVrJ4+ZaoTQne4C6TqbbBAqWHIa 8kmlRmbAHtiTKgtAsIQg0zhZ4UarFavbyvIEUwxef/ddp3VaMGSrpN50cvwXzQ9jGwJMRX BfqaX1CcyQwDf9c870hn5MCWH+VF1XKxbvpAXZiGeANiamxAv3Xji3jRVlWAZnYRvtImyX +Zi9++hR7UcktZtCYyfwGi7iEYRtvCoIVLylxPTHyW3jT2HSZ3ynk6336SQtXA== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1703005741; a=rsa-sha256; cv=pass; b=biOrGIiX/BYEBtAkVxiM1aayF2smDeT+JgTx7Jj7eFoHMqWNgIZrqdbwwREYYmOLp57nQl exMqqgfWWMKIx1qCEruUz2flpvS/PeN9+B150gcVpdOrtBLFj8FK3qK4Em7BfGgaynO3d5 /ZCMulJLvMw3PydrsLUFBnENAm2Ij7u2TMAUehEq6SpBRyx8meMh4VSvniLtyhrOx9bRnA cdp4YH+BaTu/uOLFBbVm46muvRLAXgnYJ+aQjQTl3bI05if2wNGfb+NLuAuHixPpAARGFA 79rsp0NnP3MDDcirOsIGemtbGHVsDlgbWrwIRoOGr1P6R4p9mbK7g4lNBTUQCA== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=ed.ac.uk header.s=selector1 header.b=zSArqewr; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=ed.ac.uk; spf=pass (relay.mimecast.com: domain of tom.leinster@ed.ac.uk designates 129.215.16.10 as permitted sender) smtp.mailfrom=tom.leinster@ed.ac.uk Received: from loire.is.ed.ac.uk (loire.is.ed.ac.uk [129.215.16.10]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-89-CxfY0gErPv-rVgE51DRE8Q-1; Wed, 20 Dec 2023 04:08:57 +1100 X-MC-Unique: CxfY0gErPv-rVgE51DRE8Q-1 Received: from exseed.ed.ac.uk (hbdkb3.is.ed.ac.uk [129.215.235.37]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 3BJH7sTP002289 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT); Tue, 19 Dec 2023 17:08:53 GMT Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.35; Tue, 19 Dec 2023 17:08:52 +0000 Received: from EUR05-DB8-obe.outbound.protection.outlook.com (104.47.17.104) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.35 via Frontend Transport; Tue, 19 Dec 2023 17:08:52 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=TEPZJsPLE8T1OJfaKReAEJ24PVGxzsvc9JeEQz9RJ/3RR5djC1V0SpcpyFvzyn/HQpjdcaIHY88NgiTDwHKffz4f72NJcYaQ084rCOF0E3/CeU5vhh2Or0yUB84hdhtAZsCVdp8QRkA0DynTwbmKBBpL70MrFdcBer6GcYk+K0kHAH3FOlaiEEmZ/8AMYyIPXbYSzIYSFjP+e8YmmZSge7/KWzMvW2YH8bBQe87iAXSqAhJcRdiMCc6rRRG4xMxCexyr4uelOoOxhwyKNuBp9S7pwQ5bZYLfLZ7PYO68+nb3sNy7Ij8hQ7f7kogI542r4WgDNNIEqeUOO/oviqRQ7Q== 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=KodGF7w+LfBvZ88GXm5miar9YurWtpeSzqpruzBOm7g=; b=Cxyc5NWyDVJqE7AGIzEhE6dLa5OTheCf2C5FX4EXPcDBVL3IVucnFGcTlRwL2gn8A722EzOUk9D4gQF4gOKGhD/as2mssxivHDUwFCy4duAkI1KZTv9sa4rmgzIcpbEpWnGhSfel2EApZvKypl2g0f1FN8fLSxVKIY/Z2z5o+L0KbGvn4+Uv7yjuUBxLilg5QTpma6V+q5Ncygau1JmH3gRSLHli/oLZALHsKdTjFGu+F8M7hZOBITffg404UsvVE/o0Ee8cnj4gxcxxWiTNzlGczH368DwMGNOfrBbjZ/QJYyLdN19L5ZZLvrdiMMZIhtGXrPUrjNOVF/zqpjMuOg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ed.ac.uk; dmarc=pass action=none header.from=ed.ac.uk; dkim=pass header.d=ed.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ed.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=KodGF7w+LfBvZ88GXm5miar9YurWtpeSzqpruzBOm7g=; b=zSArqewrCblzCHJb3NpRtgMtEHQmCEapcaOwRZ/CDBa1niYw/vResQhjYkgXpeez1cwj50iHLEpHli7KXiTsiveksDsBptbJJAL9b79y7FFsZD7ynWl312xaoWdliGyjHqFHpWwbGLR4EC6xK0jrNsEO++hhtggzJKsXODB4uT3s2pkhbotJn4EEHWAzFPIfYpSg+W8uAULgQ61mVesXV7qKNdyyhNT228ww5iWUxZsKkwEnASZmuKaKhtXXgL8wHntoWH++5KzwKOh04HOUzVGp3ad0fiolF0B91pYCEpnCcmCXOrXHW8hCpv8di/9oDpoAku+FdyzbaSfoyDAgoA== Received: from AS8PR05MB8676.eurprd05.prod.outlook.com (2603:10a6:20b:34f::7) by AM9PR05MB7601.eurprd05.prod.outlook.com (2603:10a6:20b:2cb::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.38; Tue, 19 Dec 2023 17:08:32 +0000 Received: from AS8PR05MB8676.eurprd05.prod.outlook.com ([fe80::220d:f5a:c9d4:c69]) by AS8PR05MB8676.eurprd05.prod.outlook.com ([fe80::220d:f5a:c9d4:c69%5]) with mapi id 15.20.7091.034; Tue, 19 Dec 2023 17:08:32 +0000 Message-ID: <25c6b39d-0684-41e7-a271-ab4f92d16341@ed.ac.uk> Date: Tue, 19 Dec 2023 17:08:29 +0000 User-Agent: Mozilla Thunderbird Subject: Re: Phil Scott To: Richard Blute , Categories mailing list References: From: Tom Leinster In-Reply-To: X-ClientProxiedBy: LO0P123CA0015.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:354::12) To AS8PR05MB8676.eurprd05.prod.outlook.com (2603:10a6:20b:34f::7) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: AS8PR05MB8676:EE_|AM9PR05MB7601:EE_|ME3AUS01FT023:EE_|SY4PR01MB8184:EE_|MEYPR01MB6295:EE_|SY8PR01MB8628:EE_ X-MS-Office365-Filtering-Correlation-Id: 758ffd5a-0e91-429c-7619-08dc00b532ae X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: X39sxUCzSgzR8f+XpXTVa4ATCAffvDGTyFeeAXiomfUYgyFjqpJspPz7nAHALkkrMTacvjZ1+MzEIwN6Yqd55qIN0yuV2AKeV3/+JN/Yfb2PlDu1nOD82VML/P5Ea8rFdHxgOTG9KkNjB+uqbalYGpa6ahPJJBZy0BzQCS938twI2lAhem+dRDfc60L2UCW42bgUp+EtOkj7pPEKHBxVk/VAnPToqkQIL1A5XWHFcp5SqEfwSh9erCGfpPT5UYn0bHbFlaBYz/zJWnsWaBqvO8Jds9dx5R1+Rgw5XxUo94wTQ43itco8DCLulj893fVyfFRRgXNkLoFpPjVG0ss9+JHjM5EhqbSz1p2SqYM12rpESdTxu6W1hdSYzB0pnnkuxphyandiITWxYr4k37qiEQ9XL/w7RGIuNX2n+Ur6075SvA/WF50C2P3shp37jyDMhhK1VEcSTG00hLBf9So5QrEtEqAjafMWZq1S5y5kS+8RGyh7aQ+O9qejbKCxpRZoMcyin1jW8zsItw5pzCyQPOyMir8+XksUzxry1fBgJBfhqcQvaf+z69DMgJ0YiPizt2OCZizfmrtDnY0wUfh1AMGG/HF6gr+jjkB7IGsPDCRWZDWNCFhs1XL7gtUPYXrGqFwXfMeXIcN6Ymaian5I05BIg4a8tOTC93NIAcVeRIX8H3YonXe7MofmiFl41QB+BSjWMQEELGWJ9Z6bmCbFPw== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AS8PR05MB8676.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(396003)(346002)(376002)(39860400002)(366004)(136003)(230922051799003)(230173577357003)(230273577357003)(1800799012)(451199024)(64100799003)(186009)(83380400001)(2616005)(6506007)(6512007)(53546011)(3480700007)(66574015)(478600001)(7116003)(30864003)(26005)(41300700001)(8676002)(2906002)(6666004)(966005)(8936002)(6486002)(5660300002)(316002)(786003)(45080400002)(110136005)(66946007)(66556008)(38100700002)(33964004)(36756003)(86362001)(66476007)(31696002)(166002)(31686004)(19627405001)(45980500001)(43740500002);DIR:OUT;SFP:1101 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM9PR05MB7601 X-Edinburgh-Scanned: at loire.is.ed.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=ed.ac.uk header.s=selector1 header.b=zSArqewr; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=ed.ac.uk; spf=pass (relay.mimecast.com: domain of tom.leinster@ed.ac.uk designates 129.215.16.10 as permitted sender) smtp.mailfrom=tom.leinster@ed.ac.uk X-Mimecast-Spam-Score: 0 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="------------oO4Qt0BWn7HtDevoOUC4jLzX" Content-Language: en-US Return-Path: bounces+SRS=PVRgY=H6@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.215.16.10];domain=loire.is.ed.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.215.16.10];domain=loire.is.ed.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT023.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 319cd897-8a26-40d5-a96c-08dc00b520c8 X-Moderation-Data: 12/19/2023 5:12:35 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: =?utf-8?B?ZDhzWWJiNkI5bTBxOEMrRVdzOGNaVStTRzNoQVJHRzlta3hOWUcxS1ovSUdZ?= =?utf-8?B?NGhJQzN4U3U2Vm1SRkJnRlFFYjFLaWErMmVtRFdtSmlUUy9yRHAzazIrQy9t?= =?utf-8?B?c240YWRVMmhtaEhQTmNJZTBCdnVxSHUxWUxNdnFwKzdtOHgrb1BOSTBURjk4?= =?utf-8?B?MHF4UVlkUXd1ZEdpYzNyRHJOZmZvdzB6dDFlVGUza1RuNWFNU1MvRWVLcjRG?= =?utf-8?B?ei8waGd2alJvMmF6eHhvbVI4S3BhUURKeTdudUx1cFpGQmp0Q2ZwYTBnYTFK?= =?utf-8?B?WHJIb01zSStXNjNZbDZUdzFKREtpSFVsd3BpdUJQMkVQWUR2MzV0SjhvOVhG?= =?utf-8?B?RW9ZaVFZb3ZMajRlVEJoY3VMbkU4UGxRZnRtV1Q1MUJoZlBOZjFWeUM0a1J0?= =?utf-8?B?REZpRXExcEhpaTNqSjFvT2dPajVGZCtXRFNzZlFyRkRIZkIvcXdHK1JEamg1?= =?utf-8?B?ZXB4MSt1Zmx4QytaUjVpWHJDeW9GNEJWZmlxRWpueXRtVUJjRGlTMVBIWWVD?= =?utf-8?B?TklKMDZ5bkRNQUZZWlpQZ25IanhRVnpaeGZUNVRXeGpXWk5lcWZ6TEpYUVNQ?= =?utf-8?B?UExXdEsrcVc1cTVOV3FaWXZWRHkvdEhpTUJJQ1BNZ1BCY2JoRjROMGdNV2hG?= =?utf-8?B?Z2ExMEU2enRBWGNQSXdZUWhPa3pjNVo2anZRN25pOVN3VXJVckZwNGRzcWdD?= =?utf-8?B?cVhUNlliS1dRNmJnNkQ3bE1kc1ErbW03d2oySU5LSW1NS25mOW5MbEwxZXdR?= =?utf-8?B?cVpBRFo1WjI4TUdiMTQ1eFgvNW1pVnhMOW1kcGZBNWVhVWFFOEtvSkVnMDZj?= =?utf-8?B?UUNOOWxvOVBZcktORUdXRnhvaE1NemtGNnhNZkJoMG1vV1hlaW5jQkhhaHhw?= =?utf-8?B?Sk1mZ2JQQ3RvMVYzdjRmbThFZEZ0TURCSzY0NTc4ekdYYlpYWTNiWVFrbjRs?= =?utf-8?B?cGZGek5UWUxrTmozYmxkVUNTcUtTM0luWERSMSs0alY5eHZKYnBzcEhmNDBH?= =?utf-8?B?NEJBUCtzaHlwRmhKUDByZTlwRmNLK245dFFDUC9vVHhLMGxSOXkrVzJaam1m?= =?utf-8?B?WE01bGx1bDE5U2wxdTJYUWg4T2liMEVTOW5sRnZPNThFYVRRL2x3TUtoUVda?= =?utf-8?B?SWpDMUJmRTgxWW1Oc3pUQTBROUNzY212Y2hweENON0FiM1dTcE9YYXE5Nisw?= =?utf-8?B?b1UwbUdNRnRQMmJLYW1iSUV3MDdHaEVwYXJ2VCtaMVFEeGlyelk5M0VHUEx1?= =?utf-8?B?NVZGQVYvdUFnRkVaeHU4V0VyK2w4OTNqVktJRDF1aWJOYjdNZz09?= X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:loire.is.ed.ac.uk;PTR:loire.is.ed.ac.uk;CAT:NONE;SFS:(13230031)(4636009)(396003)(376002)(136003)(346002)(39860400002)(230173577357003)(230273577357003)(64100799003)(451199024)(82310400011)(8000799017)(1800799012)(48200799006)(40470700004)(7116003)(156005)(8676002)(316002)(786003)(2616005)(336012)(8936002)(32650700002)(66574015)(41300700001)(35950700001)(36756003)(83380400001)(2906002)(32850700003)(26005)(7336002)(7276002)(7406005)(7416002)(7366002)(5660300002)(3480700007)(31696002)(31686004)(86362001)(40460700003)(19627405001)(33964004)(45080400002)(89122003)(6486002)(53546011)(6506007)(88732003)(966005)(498600001)(76576003)(7596003)(82740400003)(40480700001)(110136005)(6666004)(6512007)(68406010)(166002)(70586007)(41080700001)(43740500002);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 758ffd5a-0e91-429c-7619-08dc00b532ae X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT023.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Dec 2023 17:12:37.4009 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 5QjvzyKqj8wsBxDxcbIUK4a2zqWKbgTeL5zV/WRfHAnlRaVRBDN2JiepEG9QMIgUU082o+DgnfGWf/oCM5/sBXOaF1f9/Z3uZvc8WIgAF2jZmluUgvntvVmboOLTgdM2r9xIZBhIHlRWhF1sr6QHkcU3jnt+tTejBruP3n+xQSWQOIfZcPrKgkbdWnnAKCc2 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY8PR01MB8628 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: <25c6b39d-0684-41e7-a271-ab4f92d16341@ed.ac.uk> 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?WmJEY1o4eEtWWWFPelNJNWVhTEJsdm05WTNmTFRZeXRVWURzSlBuZmdnSzgv?= =?utf-8?B?UzZwUXQxUmVTOHI5akJKMFhnMytqZUdBSEorOVFVTGdnN2Uzb3Q3bmxzVUc1?= =?utf-8?B?NXNCQlF5NDRKWU4rVDBtZHpqeEY3Z2dPV2llcWluOHptTW5OOWliUnZDYm56?= =?utf-8?B?REtxWVlFZ1JlRFVDWFJEWTF2WSs5RXR0aWwzd2t2clAvVEhYdzhiRk9URjhS?= =?utf-8?B?YldPZW9mcEhqaVd1QWRnVjgwck1nUlh2NXZkT0k0N2gyeEM4WXBINXJaYWE5?= =?utf-8?B?YTFnVFVpOE9ieVFqbU05Rk1uL0pPQm0zamFtWkgweXdtYUdHVmdrZm1NbldZ?= =?utf-8?B?M2s1bkxtTHBjOXZZUWtXNk9QWkx5eWttSENTV3hkbCtoRU1JQzJpcTc5UStr?= =?utf-8?B?RC9iamhRREhSNGNHNzZBcm5XUlBQQjY3bFVmZllRQWVNRmtSQzBRK2t1Ukw1?= =?utf-8?B?MFNKUzFCTEszNjZHTXN1dktOK1Q0V0ppNHFFc1VwUTdIcnR3NHp1a0lyY2xo?= =?utf-8?B?ZVFjM1VLMmlYZ0RoQk9VREFVNUtZYXpFLzNIbGtVQTZJWVZVSHZ4K0RGRVNu?= =?utf-8?B?YmNmKzVQcWhURElESzF1WnpCTUs0c0FGejZySnlQb2c5ZHR2NFdYNEF4OHRY?= =?utf-8?B?c1VZem1YdUh5SUdGTndnZnh4eHlxN2dxYmRDMlNQbC9LV05KcTRJNi9PcTBo?= =?utf-8?B?L1pFSzlQWmdnRTJzYWpuZkkxVkg3WERsZUo2VFlWZXppa2djL25TbjJ1OXli?= =?utf-8?B?b21aQWtPMnNxNUhzQ2xvTjFUYlFRajR2dS84TnJHdXY1RFBBY3BDWU5uYUJw?= =?utf-8?B?QXlMNEE4ZlB4QjhZVGdjcFVlUWdwY1hKY0VsMThYWXo4eFdLRnQweStZM1Zl?= =?utf-8?B?SERNMnZoTW1mVDBjRVFNZHBFaGRFdWlxNUZqZEY4RXVBMmFTSzJTVG8xbEhR?= =?utf-8?B?bEo2azR0WGx0ZjlkakxBSk50dnRyTVZINEl5YjdMMkFtdUZRRHZsRWpyR0hl?= =?utf-8?B?aWpXNUFWb1pCRVRJSFVYUENuWVJTSE1lS3BoMFA5dXFXMDdhTWNVTlZnL0hw?= =?utf-8?B?TlFlbDlwVUQvUjNXeXMzb2xPUm9iZ3pJMll2Ym1iM09OTFpmRkt2Tno0dEhC?= =?utf-8?B?a0FZK05UTzUvVVBpREJzelA1VkJtODlOVml3Z09kNHpiVkpZOTF0THVMSFRJ?= =?utf-8?B?djRZSWUxUXNiaVNtQ1V0Mk5sS090RlJsNVdwVzI0ME1SUmMrYTZvSzcxbEpI?= =?utf-8?B?Q0VQaWREcEtkcHZCVkhYTDZXSlQxaTl6Q2gwU3pKUFNNZjRhd0JoZTJPNnhH?= =?utf-8?B?VlJFOHllUm02bHc5blEvSi9uaGxtYlR4QVJBWnYwTWdIVkIrMjZvYzh2UC9u?= =?utf-8?B?OXZqam9RU1NDT2dreEJCemhkTXZMdGVhaTJkSEdRaGxsZFZIaDUvbDhXMWNB?= =?utf-8?B?VFRQbTd1VDRhTFZtcWkwSGM0VHFBcXlSeDFZaXBUcXVFOWZQMDZ5WDVzenZw?= =?utf-8?B?QnRYNlpLKzZseXM3cFdiSnphZkN5a0ljVG8wQzRMUE9mR1ptbThDU1VOT3U5?= =?utf-8?B?MDZPOFVGZ1VuZTNhaUZBNkFiUEVXWnc4VmpZUnh3NW94eXNFcG5XMk1pSmN3?= =?utf-8?B?TnRHUWNDQ01JN2lyaWhHMXN1eTFQajVoZVFNTTFaUGFyZjNzemprR2pTYTF6?= =?utf-8?B?bG5ScTlOY01nLzczeGtIdmpMRXRLZFQ3S3N6cHQwM2hqc1IySzFlTFBidWJi?= =?utf-8?B?bTRrYkZmaGs0UTVLNEk5Z3lGekhCc2h0elF4cDB1aFdSenQ1Vlp1ZDdmM1hw?= =?utf-8?B?ZEorKzlDRmUrSnZuTTVyLzlZcmdMTEZTT0ZPUnludkNtVFhaSTZJR2llWVd5?= =?utf-8?B?U3BOMHZkZm80UnMvTTUrZTRWSjg5dGVXSEszOGNrN2svOTVGM3NKL1hxVnZ5?= =?utf-8?Q?mkdYsbFNPjlaQ1lr9jIWAjQJKcP5LQoO?= X-OriginatorOrg: mq.edu.au --------------oO4Qt0BWn7HtDevoOUC4jLzX Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable Phil's passing is such sad news. I got to know him better during his visits= to Edinburgh in recent years, and he was always so kind, gentle and encour= aging - and humble too, despite all his achievements and accomplishments. Tom On 19/12/2023 16:03, Bob Coecke wrote: This email was sent to you by someone outside the University. You should only click on links or attachments if you are certain that the e= mail is genuine and the content is safe. A bit of a shock. Been good friends with Phil ever since he called Jim at = home and I picked up the phone, around 2000. Whenever in UK he always visi= ted Oxford at the very least for a curry with us. The last time Phil was h= ere, just before pandemic, was at my daughter's b'day dinner, at a curry ho= use of course. ________________________________ From: Michael Barr, Prof. Sent: 19 December 2023 15:48 To: Prakash Panangaden ;= Richard Blute ; Categories ma= iling list Subject: [EXT] Re: Phil Scott CAUTION: This email originated from outside of the organization. Do not cli= ck links or open attachments unless you recognize the sender and know the c= ontent is safe. I was very saddened to hear of Phil's death. I met him through Jim Lambek = (he may have been Jim's postdoc) and then he went to Ottawa where I met him= frequently. There was to have been a book titled Programs, Grammars, Argu= ments with Jim, Phil, and (maybe me), but I guess it will not happen. A ve= rsion is available on my web. RIP, Phil Michael ________________________________ From: Prakash Panangaden Sent: Tuesday, December 19, 2023 9:51 AM To: Richard Blute ; Categories= mailing list Subject: Re: Phil Scott I am truly sorry to hear this dreadful news. Phil and Marcia have been fri= ends for nearly 40 years. I was never a category theorist myself, but I di= d use it often in my work on theoretical computer science. Phil was my gui= de through and mentor. We had been out of touch for some years because of = the pandemic, but we reconnected this year as were both having surgery at a= round the same time. I enjoyed his fun spirit and his insights into catego= rical logic and type theory. RIP Phil, we all miss you. Prakash Prakash Panangaden School of Computer Science McGill University Get Outlook for iOS ________________________________ From: Richard Blute Sent: Monday, December 18, 2023 11:10:17 PM To: Categories mailing list Subject: Phil Scott 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 --------------oO4Qt0BWn7HtDevoOUC4jLzX Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Phil's passing is such sad news. I got to know him better during his vis= its to Edinburgh in recent years, and he was always so kind, gentle and enc= ouraging - and humble too, despite all his achievements and accomplishments= .


Tom



On 19/12/2023 16:03, Bob Coecke wrote:
This email was sent to you by someone outside the Univers= ity.
You should only click on links or attachments if you are certain that the e= mail is genuine and the content is safe.
A bit of a shock.  Been good friends with Phil ever since he called Ji= m at home and I picked up the phone, around 2000.  Whenever in UK he a= lways visited Oxford at the very least for a curry with us.  The last = time Phil was here, just before pandemic, was at my daughter's b'day dinner, at a curry house of course.     = ;
From: Michael Barr, Prof. &= lt;barr.michael@mcgill.ca>
Sent: 19 December 2023 15:48
To: Prakash Panangaden <prakash@cs.mcgill.ca>; Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au>
Subject: [EXT] Re: Phil Scott
 
CAUTION: This email originated from ou= tside of the organization. Do not click links or open attachments unless yo= u recognize the sender and know the content is safe.

I was very saddened to hear of Phil's death.  I met = him through Jim Lambek (he may have been Jim's postdoc) and then he went to Ottawa where I met him frequently. = ; There was to have been a book titled Programs, Grammars, Arguments with J= im, Phil, and (maybe me), but I guess it will not happen.  A version i= s available on my web.

RIP, Phil

Michael

From: Prakash Panangaden <= ;prakash@cs.mcgill.ca>
Sent: Tuesday, December 19, 2023 9:51 AM
To: Richard Blute <rblute@uottawa.ca>; Categories mailing list <categories@mq.edu.au>
Subject: Re: Phil Scott
 
I am truly sorry to hear this dreadful news.  Phil an= d Marcia have been friends for nearly 40 years.  I was never a categor= y theorist myself, but I did use it often in my work on theoretical compute= r science.  Phil was my guide through and mentor.  We had been out of touch for some years because of the pandemic, but= we reconnected this year as were both having surgery at around the same ti= me.  I enjoyed his fun spirit and his insights into categorical logic = and type theory.  RIP Phil, we all miss you.
Prakash

Prakash Panangaden
School of Computer Science
McGill University

From: Richard Blute <rb= lute@uottawa.ca>
Sent: Monday, December 18, 2023 11:10:17 PM
To: Categories mailing list <categories@mq.edu.au>
Subject: Phil Scott
 

 

 

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

&nbs= p;

Phil= =E2=80=99s many contributions to category theory are well known. Phil and J= im Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book =E2=80=9C= Introduction 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 the= se initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion the= ory.

 

Thos= e of us who knew him personally will always think of him as a mentor, a fri= end and a genuinely kind soul.

 

Rick Blute

Robi= n Cockett

Simo= n 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   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--------------oO4Qt0BWn7HtDevoOUC4jLzX--