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=2.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,FREEMAIL_REPLY,HTML_MESSAGE, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 4300 invoked from network); 20 Dec 2023 21:26:59 -0000 Received: from mail-me3aus01on2092.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.92) by inbox.vuxu.org with ESMTPUTF8; 20 Dec 2023 21:26:59 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YD7IH5+0MeUKg+YSvuDwEb1NCXZ/VFThyW/zjtbA+xMj9SaNdFsMtU4oMNiFWlHSmFi/F8cSJ+cmpMdVe8dVg3kDJCWilQ5Fx9JpCqKRkxaagve+zOM9+HVjiOaUlBsGa6LnZWH8io7mF/U9mc7HcoYTlD59Fo5uey+4ON4WBo1BtjeiuRyNRYE28o2cvvhEA3TIdMhgvpmIJb/zpL3A7K78rqGlHhyMYCTF1ASIFz+o5RrDVyMlc8BLulLLidy9liIZvm1oZwD2uTIKULEEavSvHoMWMCl/GFeuPBj8WGGFpGIhjbmFqFmA6fvBSXluYwW2z8giRjkPW0LYeK2Cuw== 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=VRtxKQdloSjc/SPJvQ7iOPL8al4NfgY8Ul1L5gDj4kI=; b=P2ZMFAJ35urdf78DtfIP+SdtZ5w9d/1VhTbqRwRftaLsfcJ0od9xQvNvjcxb/ZTnXmUzZ3gNw7pjOWm2/qUjjKxMU4cCpvak11KKbpdTabi0TaOdGeTRaE6yFC9r0axiq5luyiqe7unTUYadn/X/t1o28WjIxYDE6bdauNSbSlnfuV6SAXrskuU9iUsN6GYt9Dl51nKk94tkQhSnJdGZCec4sz9BRb02YHqpwcOZMKu7wBmR8pJ06mVy9lworV/0lBJaJ59JEtO6njv6dg97f50PtBvKMnp0a3x0u7zF+A6Ba2A4vjz9M6AtN+MlwWMZ9E2QyHfGZanRhephR3jqpg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.45) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; 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=VRtxKQdloSjc/SPJvQ7iOPL8al4NfgY8Ul1L5gDj4kI=; b=b36LngW9vwPkf++AzF0ZGQRhcWv/vGzOXg6gMAxXMocXEzC6tS5Yp4+0cXj2i93gXM+mvlAPyXmKXg1SM88DmmwJiJXDTWgmVPRY/L8htV9uKTrb675eFKG/JM5ULT5FXMTCrqYDDdphui70q+A5eDgetbISPyVtxG6i2oJJXiICUfvRnnOOlYvFQS+qE4ghw9VsT0YiWXnQ02NLEt2C6VJcVGWclDXY8qdP+MkNjPg+Es49WCn4/vX2TEYARl32tYBU83KVjQBX8rXYHgqa8X22TCXKD8fJ+qsLnLsZ0984hku6k8uM1jO/tzXRtv7xMXPqV4vC9BGnMG46+ryWDw== Received: from SmtpServer.Submit by SYBPR01MB6635 with Microsoft SMTP Server id 15.20.7113.20; Wed, 20 Dec 2023 21:26:57 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=NJtWxbfiJm2y3wlZ1qdAu0eEPNt3EY2uF5R2/+A0OXBQETSo3hlmx3xCbPQ6kRnbI5XHrJf2uhzVpusOyVJs9i0YZXY9lzRxC1laD3ZPSw1uUJPgh0uQ3T8lcwDD/umKQW+F/B8RkQvNH82lMqUGPI0tARAYS6xWwF0Qpc9c0PITn2reTl/BP15QuRiw9i+fKIhAk5mLIQ7nI+3gx1y+XfhzZwfCMSTYAuOopFCOfO0u69P1Hnp+AgZAXiaM6N2mzaDKmiVRblhA/v41NbxKPGgIlelWuT0708u2PLuXE62s6XEW8Fg/R0taUVoJ5oaDl2RhHzf5ozxJ1wYoG5ZOUg== 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=FZTJLkK5x3y+4dr0MR5vgME8tLICUOMhp4pNxOE8B9Y=; b=kmWE+tyaZO60rk1JxIqVTaNCtRyP7dIUWVhgwYWRBkg8TSoKnVfceOg+/e5A8LhoTCU/AZpj+jlqoGl+L0IrDkxVJ8wji1/4kehMPcZnekOxzuC6Vaxelgqc+wRS38YfQoDOMGcy1IXoEn30Vcy1+1Rn/BPyM4+wrIWyl/XRupNnfakHDTTO4Jt2+am6TATq8n9MNaiopzQgA+/pSIWq50KnA3HhTPEHXtH2DRSwH/5LTpl/AAUVvpujVFZFp5nGrZBrf9FhOWvTJrHHKiagqn3EGUQ6IRE0L85VV1vs1KakwYESi7MVdF8esUA1cjLx5ZtPVJU1m+92sC2tWI2j/w== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.45) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY7PR01MB9277.ausprd01.prod.outlook.com (2603:10c6:10:219::9) by SYBPR01MB6635.ausprd01.prod.outlook.com (2603:10c6:10:12b::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20; Wed, 20 Dec 2023 21:26:47 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com (2603:10c6:1:22::21) by SY7PR01MB9277.ausprd01.prod.outlook.com (2603:10c6:10:219::9) 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 21:26:45 +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.016; Wed, 20 Dec 2023 21:26:44 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oArZ2D562uUC/OFBcO13Ghy0srAGd+6s6FE6Z1bWNbfK7kg71XELh8cLYyN6EQCwIakD+jveXwHcZUQeXEdKIMjep1S1TVhlR/ZW3+FMxfWnG+pjSstOKVWQwxRrWQXjvKVL5YMEc97jyudbTG0r//L3l1Fm3xI2VSPEkTGbZX+FcyJDomn5pgFdOJGBmSFjsv75zzEqAPQ0k01ok1Es2V4QS3TparC+JwWP+guWbUIgVicBYJbwsgyjk4LIq4CzHfACZjiteD/pm0ygjAznYL8pfBskeO3HbENdaE7RxS3GXIRQdl6VzDatnDHyBkfw/tejISFm5wuGYeFQx4Af+g== 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=mjWb6sDeADsK1QRqdhMxpUCPMAT4AYQF7ol+rR3QORo=; b=RaJJgFE/Llfs0GR8EBC3eN2L6bWfsQKKYrkMZ0fBMzrH6GdsUCgWFigvv1FzYoSn3AcU+SJV+YG39mhpuCc4Z0nbqrG+3cmzHcxvmxpvTrM+UD/lILWF5lEJt4lMJFlXB0Js1mHEjtH0EqyEzGdP1nqwLQpp9ZoVrpcf2Rg/P0APSwe1cNDr+QXGX8W7kAAWeFuGLvm7C/pj1aH7c3VQK5DPhJOLfV7aknWj2zmDuVU7mHZOlj0mG1ckoTr8HsrOvu98I+/P743jQ1E1/xEXMnrGmJNEqu/HgZjXA7Y15WyDXp5eEDiSirWtQuGE6kwZQCi8Qx0czxuKUBeXLxWchg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.221.45) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0045.ausprd01.prod.outlook.com (2603:10c6:10:1f8::15) by MEYPR01MB6454.ausprd01.prod.outlook.com (2603:10c6:220:11d::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20; Wed, 20 Dec 2023 21:25:50 +0000 Received: from SY4AUS01FT005.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1f8:cafe::4d) by SY5PR01CA0045.outlook.office365.com (2603:10c6:10:1f8::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.19 via Frontend Transport; Wed, 20 Dec 2023 21:25:50 +0000 Authentication-Results: spf=pass (sender IP is 209.85.221.45) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.221.45 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.221.45; helo=mail-wr1-f45.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT005.mail.protection.outlook.com (10.114.156.159) 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 21:25:50 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703107550; 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=mjWb6sDeADsK1QRqdhMxpUCPMAT4AYQF7ol+rR3QORo=; b=dGdor4JR5AK6LFG5YV7FyFoE7sQL2XMYBWH8vyL/l8yAiQIMpETIem/IT2UiTabH1TDFd5 vuSTq6RCaRwtjwRWei/K9PVub7SPuLjoE63y9fEu5eaC7STC9beWZtLyfDEZ49HPEJ8smT XcIvhXOvZ0xNZIYYKixddZXg4AGQ1wmcUhp8Qp9ab/isETZeh2uHhTwHOWd1YRSRJW0ZD5 xVkRi4UFT6F9SC1x51ShifiOuW5mMove+0FF2w02/bF3stPwmtwd0w184J+x3BLfuXVOqF lSrpneGhkfWJGKkPoSPGdqxm53m7Z6ViDKGGUjNOY/+kIqcPVcnOMuUEzptRxQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703107550; a=rsa-sha256; cv=none; b=FGkdpUjKG52j1UsT7XFllxZJxIKQJE9hf60GUaKwiy50u9RRQ+S9EtT7C9kKCOyev86tT4 AtPTI14IjzTX29FJqz7E+fKe4hCW86Urmb393FFGudsQ4liV2i+T/jjNW0FDA76Kt0ZvuG +vDJ2KParw/6cXaPJM7wd3WVmi2FmGzdCGW4olpSjlMUGi5jUfYJ5h4cnrnxAsoPKv9U80 Yg0VuX3mrR+bULU9586K8yYnVC3s0hwXNz09164478+7Dd2WAeAS1vXj/bA0tKvf9n0Cek XxmG/cRtvHKhTqOrW1ZHxgZUMkExDGfxVWnW9iT/P+GcE2OPXRLgHtycHAZx4A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=AuADz143; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of escardo.martin@gmail.com designates 209.85.221.45 as permitted sender) smtp.mailfrom=escardo.martin@gmail.com Received: from mail-wr1-f45.google.com (mail-wr1-f45.google.com [209.85.221.45]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-46-XlvTyldmOYSUrgd6P49ozg-1; Thu, 21 Dec 2023 08:25:47 +1100 X-MC-Unique: XlvTyldmOYSUrgd6P49ozg-1 Received: by mail-wr1-f45.google.com with SMTP id ffacd0b85a97d-33621d443a7so93259f8f.3 for ; Wed, 20 Dec 2023 13:25:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703107544; x=1703712344; darn=mq.edu.au; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=cm7Ydegcow2zVXWwM2kqNTmLcxUKftZBVqx1lf7ww08=; b=AuADz143LtibAEpiQL1bJJNkK/PMlPUelvAXvR9vwcpI8W9aDPX96zwgS/GPPlFbVw 33c4iPCgU0/bu2fE8mLEtrT+Jc/gZvTdncEDpEkU58k2AHhIOERHDUbLRlKYuDSYQVPk c/jWX9nbbWaZGuAc5GdTf84UKAo8cBIuu8d4B3XTVa45wKoTbJA6ShqG74Mih31wTiWR /UCdXPQWn6KKLmkoltxjdk1knznoj/fgr8qV8Yzo+u0szkkVSAU/YOLQDzbd9SFl5ReO NZxjlEzlSs1nLRlEHqjgBfdOkgW+4UofgVSrdascqB0YwWw9bbZPjTPhWUebZATlFrB8 TmpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703107544; x=1703712344; h=in-reply-to:from:references:cc: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=cm7Ydegcow2zVXWwM2kqNTmLcxUKftZBVqx1lf7ww08=; b=FqT4nQ+1uvpYyONQm4LX7i6r18qnyzJKGSlKSJCBzutdJjDaJ2qO6iEQ4LDtTaBlTM 4WboZl1jPHMI/hH5ZyIWmyS+dfB68jlD1zbEsJF2QdYOL+9KySA8gZU9eG6xVEz8dqgu m7KqWBzSr1wBJvzxhclX3Ya15XkKZYfEHCFUFcBmc6wGc3e0B9xGeV/tLKBro0aHK5iB /Rc11KNUFcAvPFTNTVWz6Pofxz0NdboE+anbJOJsn8h0f1es8BH78A5fXuRxkndlAQHc NYKMnfZ7qeo5ri5WelBNjlGfkln8GRIiDf24RnnK4dA5h+Oj2YgZIj5Fa0g0x4OhpT35 wtSA== X-Gm-Message-State: AOJu0YzpIOrS1lVsZoK5sPeikoNPS6nJ4PqAlB95aouLJMPn1WgpCSIV VcY1a3NIkfrWJm2LEjvSG+0= X-Google-Smtp-Source: AGHT+IG8lCyswATzs16YFtNQOsJskN8O8HcZ3ExwrRu48dviyNfc0k+DHvg1+92RQKll4ErG3GOBvg== X-Received: by 2002:a5d:69cc:0:b0:332:e337:7c5f with SMTP id s12-20020a5d69cc000000b00332e3377c5fmr151380wrw.61.1703107543861; Wed, 20 Dec 2023 13:25:43 -0800 (PST) Return-Path: bounces+SRS=YkD+N=H7@mq.edu.au Received: from [192.168.0.30] ([88.97.50.0]) by smtp.gmail.com with ESMTPSA id s7-20020a5d4247000000b003366811fd6bsm467114wrr.14.2023.12.20.13.25.43 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 20 Dec 2023 13:25:43 -0800 (PST) Message-ID: <2bf86a03-e058-4424-a9b6-2eda8b5f1a3e@gmail.com> Date: Wed, 20 Dec 2023 21:25:41 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Phil Scott To: =?UTF-8?Q?Joyal=2C_Andr=C3=A9?= , Jason Parker , Richard Blute CC: Categories mailing list References: From: Martin Escardo In-Reply-To: Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=AuADz143; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of escardo.martin@gmail.com designates 209.85.221.45 as permitted sender) smtp.mailfrom=escardo.martin@gmail.com X-Mimecast-Spam-Score: -4 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="------------UpmvGzth0A1MW0mxcTc0GRHE" Content-Language: en-GB X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.221.45];domain=mail-wr1-f45.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.221.45];domain=mail-wr1-f45.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT005:EE_|MEYPR01MB6454:EE_|SY7PR01MB9277:EE_|SYBPR01MB6635:EE_ X-MS-Office365-Filtering-Correlation-Id: 9c20df19-717b-4145-6939-08dc01a23d76 X-Moderation-Data: 12/20/2023 9:26:43 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: E3FMwBw2ds9j2z5RLHul0y9JX+RjIZ+VECw5xYtlqkusmxGlk3wqkMFRvzGrPMq9um6aecFuZT5nz3SzGRF2rY8I199sP9csxwN+EBqROpeqiaVhN9usR9nf1tvriBruqURLx9mi2zXxBNbMayH4+lSN5b1tFfX8VNbmpZIqtf7CVH/QAq0RQKIRHdXw1rBRHecymWtIj3B3JGtag0WSVqq4UMMtMaFMxGcq8deGcalE9tcuo5Z9Y0VmNtVouUtig8AZiKuPHeije//dHlA4WsetrJ70GpZnUYIuj7INzdeC/KX/JslZVD5suYh9ev+M67mVln2gCCg3Ci3p+baw5PWLKejTE7IbU+2YA+FlnHyiOMqCwOtgtg+qlBZIAAfje+0RJzRlsIT7efOA70nYW8Q55WuNBqOL2jN9eTLjCMZqAZf4PAJrBI8qWhi+Mahb9DGVbjE6jHmvgyImY1CjPWs0Gl5LWw4nQbOCFSuh3uB5iQN4ROd2J4/fzNKd9vjRawJbDUfo1Qh+44GUbPo4m4xkMyAnbwgtt8R8YQtkz7uZulRL1OsCCXc3ZvI2N0QSLQAp9rODZJFzVXrMiwCOwb049KiRBZ4bChlVwyh2quaTwkZ8UveJG4BpAG8CwKLz1m0BsQifARsBkI9qXqt6p+g0wrnk0vQCno1jwdifoUv2r3yGzHoayKhvBfbcomeiIXCVENHWAOa0lDmTZXrRtMKIuggC9LTLzhEEyT9xK0s1RJ2j/yuwCqC4Rmq8CDdCh+TTI6/KfpTC7LtWCRsSLqVXjG9uu5VjLWRm73QbOwREZ3KwRjXyiozWXLRW69ph9CsJ44exndzi8pj74jg8XEDFFcPdddhWehvwNAHMisCt+6NZC01OZMYVw/3Q7elUk9DLwYxwxUJHvbCs9Thf4cs413NMPgtwBF7hoJ/sHRI= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-wr1-f45.google.com;PTR:mail-wr1-f45.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(39860400002)(346002)(396003)(82310400011)(451199024)(8000799017)(64100799003)(48200799006)(1800799012)(40470700004)(2906002)(31696002)(55446002)(86362001)(36756003)(45080400002)(33964004)(53546011)(7276002)(7336002)(7366002)(7416002)(498600001)(7406005)(35950700001)(3480700007)(32850700003)(32650700002)(83380400001)(26005)(956004)(82202003)(82740400003)(2616005)(166002)(336012)(7596003)(7636003)(426003)(66574015)(73392003)(41300700001)(156005)(5660300002)(76576003)(89122003)(88732003)(7116003)(110136005)(70586007)(68406010)(40480700001)(76482006)(19627405001)(31686004)(8936002)(786003)(316002)(8676002)(4326008)(40460700003)(43740500002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 9c20df19-717b-4145-6939-08dc01a23d76 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT005.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 21:26:44.7255 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: fvcnpwN+J/1K2Fv0NtNs987woZfjfj01hVpKYreGJHz46fjOChnxW2GF5WEJB9HRMy/uRriNmb+ixd0RsY++KyZfIBKEJhzrmuca4lwZgZGd+b3f92T2OFQ6QrrQvlgNN4LvjwV0IrpJlyOdJ3ZHTsgGO9Ln5+ElT2Tj7pakjnosH9yuFPVJosWSlhX+ACM4VPbRECKXuk4iELWw1Oxs0rRCs1TrOUpmqEyYskmiFB0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB6635 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: <2bf86a03-e058-4424-a9b6-2eda8b5f1a3e@gmail.com> 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?UmExcWdOUjBxWUtVZk5aK0FWNTdMZnlkRjB0L1I5bnUzVkphbmo1WDZtcFND?= =?utf-8?B?Y3BpTVA0Z0JzY0gzTHR4K3lEYWtxalUzNVRPV2RHak1odzBlQ3lqOW5IRHRO?= =?utf-8?B?bW1lTEpnNmNZZU9DUGIzek0xRXVlUGpIemQxem5CcVdhV3pRbzNUUXFiMTdx?= =?utf-8?B?bUhDdGN2UHhyWTFjcmVWTGtCY094K1lLeEdORGVQTjJsdXlFSVpLcXJsUndh?= =?utf-8?B?NlQxckpYNXJXS1p1c0JCMmx3dmZEK3Q4R2hLaDF3b2NjbVk0aDltMkg0Tlh1?= =?utf-8?B?bFgrSS9pZDhqRXdiaTJ6TVVkOWxRbGdibGNCNGRtektZMit4VkNHWFpPT2sz?= =?utf-8?B?aVM0RWIwVHRoVnpOUVVodEwxUlh0SlVPQnZHOWdlT2FiaWNLMFlZRVVHWkI3?= =?utf-8?B?dml0VUswN0VhbE5XU2kwa2ZiSDkzNDBueDhqb2dIS1l6UEorUVc0aGlnRnlq?= =?utf-8?B?bHl6bkU2dGJ2QXlUVjhEWTJYdWkrcUV5ZUpFM20ydndhRXUzUGhZSXBFWE9n?= =?utf-8?B?TGRVTURlVGJZUkdwNGJmRjVVWWFiSVhwb2lpd0IzVytORnV2STFjK1FwQzN0?= =?utf-8?B?cXFTYlF0U05BN2dLVzFFRU1GMkMzUWk0Qkp6T1IzZWVsUkFSOHNvRmVma3BN?= =?utf-8?B?VlppOUFoUFpIT3k4OXdXelJvcjBvWXNueDNGZjIvV2dDU3J0YUlNNFkzMzg0?= =?utf-8?B?ODVUMUVyb2VMamo0RThJd09JN2dlajExU3V6Z1QrSlhaRE5NNERQeCs4SXZM?= =?utf-8?B?bFVhZzVIREFLbmY1STdaSWdPNy9scG9xektRdi81U0l0bEtjcWwwY2lISG8w?= =?utf-8?B?dnZNcWU4dDBMdVUweVVzUzFhYkNxU0ZVd2tYNEEveGVHRFd4Rm0vTjhJeThX?= =?utf-8?B?SG0wWlpxbFpVd2JWRUZoWE1PVEJKb2NuV3ZBRlVkNXEvTjY4UWVoNHVMaHRW?= =?utf-8?B?MGF2VlhjYXhickRxc1kveThkcGhmd1pRZ2FwdjBRR0JJamNDU0JITlN5cmM2?= =?utf-8?B?eDJiWVpCZklzOENrVEtjZUZxTXRXNnQwNzRDdUtwczdIbkl1cTBxWUN2b1dk?= =?utf-8?B?RDZwM0EvRS8raHlkZmZPT3hMWlhmUzdSTE9QSHBIRWpXd2VMMi9SSUZoMXB6?= =?utf-8?B?VFdDVnF1cjdwa0NtRXY4ZnI2VzdoRmVieURVbXY0MkdaRktlL2wwMmR1RGcz?= =?utf-8?B?aUFuY3hSWFptN0RsZmlqUXJOYjFWVnNYTGV4Mi9uazQyUVY0S0hab2hGK0pN?= =?utf-8?B?SkNBSVZ0dGpFVjdBUFdIVzJBUWU0bUtCNUdkOFdIMGwwaGsvcWpSUDM5M05a?= =?utf-8?B?M0RJTTM0dUEvUy9XTmRxYmN5d2dpZU11NUJNcFZXRDQrR1lCc2lrRnh2dzVI?= =?utf-8?B?V3JlUHo2QlNMMFNmR2pjQmRzSkZ3T2Y3QlFsTGI4WitCaTAzaFhuMTJYa0lu?= =?utf-8?B?TFk4WVhWR0tZV1FkbER5eWhrMXQvNmNabitHbXAxVk9QenFLZkhEV3Q1Z3B3?= =?utf-8?B?aG5TdEhrZG9SNVpGbHZpSU80SkthbDV1L0pCdDRXelVlSkNLSWJEeHE2ckhr?= =?utf-8?B?SnFJVGNZVGhLTmRhOEZJbUkyR0VsRmlvbCthT2liRWFNeGNOMFd2eWY0WkpP?= =?utf-8?B?ZC8wanJkV3djdHEzRkJEeG5MSVg1Ylh6RDNHTFQwUUtCQmd0R0NpcTVRZjhO?= =?utf-8?B?MEhpUVphMlpkSDFRb0E1UFpEYTcrWTdlakx1QkxOSE05NTVNa1BBVVFkTWJY?= =?utf-8?B?eVAzeURURFR6WUMzYkovTS9xb3JuVTU2L0FOdzhLL0ZNd08rNzhacFd2WXkx?= =?utf-8?B?bEY2TGNDYWF5c1VPald5VktzbnVPNWtPQ2F2cmo0WlFHS2pLMS8vditkUFFL?= =?utf-8?B?MEp6SjB2QmlSREJUQVk0WlpIcmlJamE1TTNLZWZuT0pEbkJRN1pOb1l2UElw?= =?utf-8?B?QmlTUktNWklnRS9neXhYSTlLWXczL1piaXJuU0F1OXRFQ0dTczdtNkljZmRl?= =?utf-8?Q?kiNsr7A1lvCONW4WMUvmy/EDgbgY9s=3D?= X-OriginatorOrg: mq.edu.au --------------UpmvGzth0A1MW0mxcTc0GRHE Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable I met Phil only twice in person, once at the IHS in Paris in 2014 and once = shortly after that when he visited our institution. Both meetings with him = were rather enjoyable and profitable. In the latter, we discussed Higgs involution theorem, among other things (I= don't remember why), which we discussed again a few months ago by private = email after I asked a question here. I came across his book, with Lambek, "Introduction to higher-order categori= cal logic", when I was an MSc student in Brazil in 1990. I made a pirate photocopy of that book at that time (I can confess this bec= ause the statute of limitations has passed). When he visited Birmingham a = few years ago, I asked him to sign it for me, which he did gladly. I am shocked and sad to learn he passed away. I didn't know he was ill when= we interacted by email less than two months ago. He didn't mention that. He will be missed by many. Martin On 20/12/2023 19:49, Joyal, Andr=C3=A9 wrote: Dear all, To Rick Blute, Robin Cockett and Simon Henry I am very sad to learn that Phil has left us for another world. I knew him from the time he was studying with Jim Lambek, about 50 years ag= o. I have a good memory of the lively discussions we had in a caf=C3=A9 in the Mile-End near McGill. He was always eager to discuss new ideas and he had an apparent limitless thirst for mathematics. His book with Lambek, "Introduction Higher Categorical Logic" is a landmark= . He created the school of category theory in Ottawa. I owe him a personal debt: a few years ago, he took the initiative of prese= nting my case to the Jeffery-Willams prize of the CMS, which I won in 2022! Thank you Phil! I wish there is a paradise for mathematicians, so they can continue their r= esearch. Phil was a good angel and we need help. Andr=C3=A9 Joyal ________________________________ De : Jason Parker Envoy=C3=A9 : 20 d=C3=A9cembre 2023 12:17 =C3=80 : Richard Blute Cc : Categories mailing list Objet : Re: Phil Scott Dear all, I am very saddened to hear of Phil's passing. Phil was one of my PhD adviso= rs at the University of Ottawa from 2015-2020 (along with Pieter Hofstra, w= ho also sadly passed away in 2022). He was an extremely kind and supportive= mentor in mathematics and in life. I also knew him to be a very caring and= conscientious teacher, from when I served as a teaching assistant for his = discrete mathematics course (on more than one occasion), and from when I to= ok a graduate course with him on categorical logic. I last saw him in person when I had a post-PhD-defense celebratory dinner a= t the Green Door restaurant in Ottawa (one of his favourites!), and in rece= nt years I had seen him at various online seminars and conferences. I last = spoke to him over e-mail in October, not knowing that that would be the las= t time we would speak. May he rest in peace. -Jason Parker On Tue, Dec 19, 2023 at 6:36=E2=80=AFAM 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 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 --------------UpmvGzth0A1MW0mxcTc0GRHE Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I met Phil only twice in person, once at the IHS in Paris in 2014 and on= ce shortly after that when he visited our institution. Both meetings with h= im were rather enjoyable and profitable.


In the latter, we discussed Higgs involution theorem, among other things= (I don't remember why), which we discussed again a few months ago by priva= te email after I asked a question here.


I came across his book, with Lambek, "Introduction to higher-order = categorical logic", when I was an MSc student in Brazil in 1990.


I made a pirate photocopy of that book at that time (I can confess this = because the statute of limitations has passed).  When he visited Birmi= ngham a few years ago, I asked him to sign it for me, which he did gladly.


I am shocked and sad to learn he passed away. I didn't know he was ill w= hen we interacted by email less than two months ago. He didn't mention that= .


He will be missed by many.


Martin


On 20/12/2023 19:49, Joyal, Andr=C3=A9 wrote= :
Dear all,

To Rick Blute, Robin Cockett and Simon Henry

I am very sad to learn that Phil has left us for anothe= r world.
I kne= w him from the time he was studying with Jim Lambek, about 50 years ago.
I have a good memory of the lively discussions we had i= n a caf=C3=A9 in the 
Mile-= End near McGill. He was always eager to discuss new ideas and <= /div>
he ha= d an apparent limitless thirst for mathematics.
His b= ook with Lambek, "Introduction Higher Categorical Logic" is a lan= dmark.
He cr= eated the school of category theory in Ottawa.

I owe= him a personal debt: a few years ago, he took the initiative of presenting=  
my ca= se to the Jeffery-Willams prize of the CMS, which I won in 2022! 
Thank= you Phil!

I wis= h there is a paradise for mathematicians, so they can continue their resear= ch. 
Phil = was a good angel and we need help.

Andr=C3=A9 Joyal
De : Jason Parker <jasonparker300@gmail.com>
Envoy=C3=A9 : 20 d=C3=A9cembre 2023 12:17
=C3=80 : Richard Blute <rblute@uottawa.ca>
Cc : Categories mailing list <categories@mq.edu.au>
Objet : Re: Phil Scott
 
Dear all,

I am very saddened to hear of Phil's passing. Phil was one of my PhD a= dvisors at the University of Ottawa from 2015-2020 (along with Pieter Hofst= ra, who also sadly passed away in 2022). He was an extremely kind and = supportive mentor in mathematics and in life. I also knew him to be a very caring and conscientious teacher, fr= om when I served as a teaching assistant for his discrete mathematics cours= e (on more than one occasion), and from when I took a graduate course = with him on categorical logic. 

I last saw him in person when I had a post-PhD-defense celebrator= y dinner at the Green Door restaurant in Ottawa (one of his favourites!), a= nd in recent years I had seen him at various online seminars and conference= s. I last spoke to him over e-mail in October, not knowing that that would be the last time we would speak. = ;

May he rest in peace.

-Jason Parker

On Tue, Dec 19, 2023 at 6:36=E2=80= =AFAM Richard Blute <rblute@uottawa.ca> wrote:=

 

 

I= t is with great sadness that we convey the news to the category theory comm= unity that our good friend and colleague Phil Scott passed away this morning (18th December, 2023)&= nbsp;after a long battle with cancer.

&= nbsp;

P= hil=E2=80=99s many contributions to category theory are well known. Phil an= d Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the bo= ok =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 wel= l beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory an= d recursion theory.

 

T= hose of us who knew him personally will always think of him as a mentor, a = friend and a genuinely kind soul.

 

Rick Blute

R= obin Cockett

S= imon 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   |   Le= ave group  = ; |   Learn more about Microsoft 365 Groups
 
 
 
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
 
--------------UpmvGzth0A1MW0mxcTc0GRHE--