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,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13449 invoked from network); 20 Dec 2023 22:58:00 -0000 Received: from mail-me3aus01hn2245.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (52.100.209.245) by inbox.vuxu.org with ESMTPUTF8; 20 Dec 2023 22:58:00 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=URviDa4gft447sZrqqJHomrUI1jfQZPdKyzLGTBmIZlC291AiO5kSW+UdqW3DQsRfp3GhHDGB9pilp8Y10eyZ3pb6hhAKzB4y+Pa+/tpFsK5YxaYdif4U5y/B40KDTOSrxl+336VeTW/YxEhbvap/EdX01fkfrU0+Hauh0gZJmCmu7kdfMg8OVn8d9og4LQ67cCVqdl7BNSwWEO44ATVkt13WNSm3vfcd2soqX1F8VbqA0xlC72srItXxeUhFib0k+z//8hn1U4IyMD3dx10TwYkiOYLFrl5LU8QmRsFidwt/A+6IxYue0LvmJt0pBtbLO1xIUbIThuF3tBb4S2c6w== 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=5XAuEu3+S7vKfvFkAWCdnf8DeqaWpOXOb6RkkbdH/0Y=; b=m5k0I17MDur1xDATMhuysFh0WeFW/muDaj8YU6sB4k5Jt7I9BJZOiTEhNAbSMV1YX0eL7kdGinjbBGs4LzYMoNN4Ktaqz8zMcvKpzoaytKthdqvedpqVq3bYeWgq6xUujwc0ml4al2hvMxeqKabjbPvvJDXCAADMepmwmxVm+FxmFdNqAI/MMI0edH1D1NCeyvwPkoWXdKwJtj0HMide6Lx2JO897Yh+7nKDIwbQj9dT2v+Cv1f7D/43TO6C9Q1IOJEE0zwl1llBJOyKLpUIU7hYG9ZPtfZ1OKwORlLHkIOpQYZKe6rHcwkG9obhYu/dlQEotFxaSq7b1xvNChvHVg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 17.57.155.11) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrej.com; dmarc=bestguesspass action=none header.from=andrej.com; dkim=fail (no key for signature) header.d=andrej.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=5XAuEu3+S7vKfvFkAWCdnf8DeqaWpOXOb6RkkbdH/0Y=; b=ZPlXwRQh9IsX5ZJB0x4MFnbSM93+nnmSlhbXnuthvh3u8DDdEU0kymYWUbhvrXg/rACHGRqW4Wsb2jWGbBD84bGOrSOMfybVCbyG6ryNfvyDkBTdwYib5j0c+00kA9SdG+qTpoFcCwW7aP+cnyntJAG4ClqUP7A9zoDbK5nRopEw7cuhcbenEVChXKo74L4UnFg/2rcD84kIPKYsMufk1UJnV0WAcPMjVpTBSNrEfXjQPcGmI2dpRlcO/xU1ckWjM6bKGZqOVwJgrTeOZdsx1PQI4roEEyU0K4bDz78c+idn7rPCufn40+54AsDSOuh1KkjDnOEBKvRnGLcmhYOp5Q== Received: from SmtpServer.Submit by SY4PR01MB6784 with Microsoft SMTP Server id 15.20.7113.19; Wed, 20 Dec 2023 22:57:57 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=W/wUNk1S/QwQRFxCp4jDbSOOpwexxJ0Q1VEDk1Onhzgj3G83RFXxtFzbWx/p8hzVickhq4doAKEvh0oFMV0t+sUDk5WI8Anjlcp/PlQw9t+b5hG4A3mmKRW3fuQrQkXD3UofB+zUS1qo7yhF9/dvZlVJNhc5yz9kA1q+bUrkQ8JXogjVkVsPNuWb6sam1UArp8Mb1LhMZip6VF+LryCQRU6wC41XLX8H0tJEBSVWTriCzU+niFhGT/mom11GtVhjBEi3s2WIIL7lsfq9nursOvqQSDUYu3uejQb9BAj04wCEk0bDCpXkTIbTfwtH7QICMwx8vdK+d3ptDcxABgY09Q== 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=VDe01c9oueNEhs7em5fij1Df/zjKWbFB0RlQ19FIb5g=; b=WWJL0BIw1skGzSWQbQBQJfGBGdLaAWPEBFujc/7IMGS3JN39brMyVoP9mKNRQNZtwomGrzlcMTFhb1ij1D7FppkLz5IbPv0+sxjTeJpBdbttCTTur0Yx9ufSan9s4/qdRINRJhPbXOBBHOfFzmuZC8kM1CdOvUDJqOPeylFpAchbNbInCmclV7pKeP7QmdEEZB7qdgrrGvcfF+1XBD/qcBUJcqq6slCjEYuA/hRFXrpM3AbLdQs4Y8wZpSq8kDbCOq+JnSLedNI/HzWU/pmNfQbigZXIsMNor9XHVLYbUjDBLrggfpZim2cpu892ZZrxDdbZ6UeVvpxy40PGkCACDQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 17.57.155.11) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrej.com; dmarc=bestguesspass action=none header.from=andrej.com; dkim=fail (no key for signature) header.d=andrej.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYZPR01MB7467.ausprd01.prod.outlook.com (2603:10c6:10:16c::12) by SY4PR01MB6784.ausprd01.prod.outlook.com (2603:10c6:10:137::13) 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 22:57:52 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com (2603:10c6:1:22::21) by SYZPR01MB7467.ausprd01.prod.outlook.com (2603:10c6:10:16c::12) 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 22:57:49 +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 22:57:49 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=dVIH4FZUlk9xD5eDF8E+yCgsCWZfmiYg6HahCe/6+j40aD1CVhGadzN5xgNXT/haTQYDUshPlnmR/Odfz72vK5zTTdFl4eWPlnIyQzd6pO+mM9BU3+u3MZ7Pqlrzb9Nd2xXxEWw18bJBxdS8r6mAZNLlYFFTEFuJDb735HAQj61ooGgjthR1q8aw6uqOakGT1OT5s1Ti5EP183WgTIcwRHzP+dz7sdTvMIfVT6he+hWQU7kKFqifCZCA7arNFKTIeg198wGC4D62Tf/or3ye+J93JxtXk0Ho7Oy2uwBP8P5XUpZuilNUuL0u3kUVr/M6XS/38yaMl0SZSURpeoVj4g== 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=VDe01c9oueNEhs7em5fij1Df/zjKWbFB0RlQ19FIb5g=; b=kk5wIVCT7C9lN5cXetzY2f30bZYK9Sf7e8vTKmEo2bqCgFiIUBjDlev0A7+nTrmOaGagkbXbxsVQNnDMrIugH3xzoxOFya+11ZirfMRww81aRhOAlb81XcFgXpJjwYs4DqTbpHYN95RBzumtUx/jz+xec48zGc71UDNXJjAWmCtagjldSI9SQ+oVdgLyGG4WP+4qCuHjrSsM+SBPKsDgj/s/VsgEvkkX5ez+uuHapa7+ikqSWxC1Dqemcdottzk4ziGeP4A328r8rU3liwtJrE++zF0Gg35ejO8SxcRbEp+oTtIhypCz7d5KUPVhX36hYksKUE41smnUjTdz1Je4aQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 17.57.155.11) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrej.com; dmarc=bestguesspass action=none header.from=andrej.com; dkim=fail (no key for signature) header.d=andrej.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0107.ausprd01.prod.outlook.com (2603:10c6:10:246::23) by SY4PR01MB5898.ausprd01.prod.outlook.com (2603:10c6:10:f0::6) 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 22:53:16 +0000 Received: from SY4AUS01FT013.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:246:cafe::1f) by SY5PR01CA0107.outlook.office365.com (2603:10c6:10:246::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20 via Frontend Transport; Wed, 20 Dec 2023 22:53:16 +0000 Authentication-Results: spf=pass (sender IP is 17.57.155.11) smtp.mailfrom=andrej.com; dkim=fail (no key for signature) header.d=andrej.com;dmarc=bestguesspass action=none header.from=andrej.com; Received-SPF: Pass (protection.outlook.com: domain of andrej.com designates 17.57.155.11 as permitted sender) receiver=protection.outlook.com; client-ip=17.57.155.11; helo=qs51p00im-qukt01072102.me.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT013.mail.protection.outlook.com (10.114.156.177) 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 22:53:15 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703112794; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=VDe01c9oueNEhs7em5fij1Df/zjKWbFB0RlQ19FIb5g=; b=sF0KD55DylU3ysy2v8mUWoOKabZ199cENWTun4ODJssRrhRO1zWGjgOQuAnqERSGbzNDf5 opMwlekcnKJAHe52An2LIdsAnYiVdGbEe/mQgUz/jrlyzyv63qCtY9A43UT8FO3T+kY/pk 50hpHfBAilmTQcRiQORB/9qIQCOQqk0Q0ueuVL4wKzuSMWiZNreVYVKZTvrgSaPOXUTaDJ XEv4zTwHPJN/EOIQ5Wp0szl81ZPQedL+sUvzFbQd/Y9QL5gfE22CuQ6Q1yP8A4c3LlugLS fj6wdr9B0xjbGTI39E7XvrnjUi+qBTrb/WHt4PPd0vRhdh85xR6i5E7XcR+qvg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703112794; a=rsa-sha256; cv=none; b=L02lkNlXLIDgE5WQ0pz5zCPHIxPt/MDV0kU57W/kQ3ycFTIh3w/9EMji3LY0bYqu/L6Jv3 CwRKmLwoZBiKVT9eJjKjS6SEMQiAyjRuFAr0s5CS9RNGc+bM0sGk3i7nwyYQPL0LVf+UCL nw3ESADpCoDtdJ+4npaO4Wm7GoxoodWyZ/9XBJGeUagZ7DpJKfTPuUonBAE/UZ6wFvkLgr /ea2qZYc4RSkEPagqZwoJr9361ZncFLtfBjP7ERa+Abx0IDRzJVUITpWQ4mi+yYzX+ZWcN pYZ9U6M4bWU9JovxtZi4+LeIUZCnbj//QQoe9d8uBf2sZs9IRUD9Yrn9gplXwQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=andrej.com header.s=sig1 header.b="S/LyZAv1"; dmarc=none; spf=pass (relay.mimecast.com: domain of andrej.bauer@andrej.com designates 17.57.155.11 as permitted sender) smtp.mailfrom=andrej.bauer@andrej.com Received: from qs51p00im-qukt01072102.me.com (qs51p00im-qukt01072102.me.com [17.57.155.11]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-63-RY_PndvFO9q3oXnmALUhlA-1; Thu, 21 Dec 2023 09:53:12 +1100 X-MC-Unique: RY_PndvFO9q3oXnmALUhlA-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=andrej.com; s=sig1; t=1703112789; bh=ek4NAmrVnWG1dbaKa5ZfQ4VbDqo2HA5ZiKuxzTA17Sg=; h=From:Content-Type:Mime-Version:Subject:Date:To:Message-Id; b=S/LyZAv1rHYZAX0pE9qGNrd3xjkjeqjGrRXdfYpx6EgC+XPBvqVS+LfQPuAmC6SXk Oh+onJRoWafDwaHoODB0AUOaKj3Y0KFNdmWEcGHa7rKJ/R6+42Rlw6mNViIErsCXwO fwxZLuUX51TxthbVw+7suuJY3B8oXgBq4/DQKF99DygXDMZeUy3MRCv+iGMXdPTVfO aMZSEKNENZ+tIWPHT3SZcIKPqjK7m7L5IwW/bDvFf7tryWRhm4S+BakCHpP2aOlCp3 dK/POAeNaptRRnPIrUf1NCDV+HWhsX2ubqzIovTHnEDuEmqlCP+ar1ux5uoVKfxEkO 1zxjkoepD+cJQ== Received: from smtpclient.apple (qs51p00im-dlb-asmtp-mailmevip.me.com [17.57.155.28]) by qs51p00im-qukt01072102.me.com (Postfix) with ESMTPSA id A3F7C340A95 for ; Wed, 20 Dec 2023 22:53:04 +0000 (UTC) From: andrej.bauer@andrej.com MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.500.231\)) Subject: Re: Phil Scott Date: Wed, 20 Dec 2023 23:52:50 +0100 References: <2bf86a03-e058-4424-a9b6-2eda8b5f1a3e@gmail.com> To: Categories In-Reply-To: <2bf86a03-e058-4424-a9b6-2eda8b5f1a3e@gmail.com> Message-ID: X-Mailer: Apple Mail (2.3731.500.231) X-Proofpoint-ORIG-GUID: mlBJCFjBuTHSeeDAmqQeWoE6H-2vXHuB X-Proofpoint-GUID: mlBJCFjBuTHSeeDAmqQeWoE6H-2vXHuB X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.272,Aquarius:18.0.997,Hydra:6.0.619,FMLib:17.11.176.26 definitions=2023-12-20_13,2023-12-20_01,2023-05-22_02 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 malwarescore=0 phishscore=0 clxscore=1030 mlxlogscore=711 spamscore=0 bulkscore=0 suspectscore=0 mlxscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.19.0-2308100000 definitions=main-2312200164 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=andrej.com header.s=sig1 header.b="S/LyZAv1"; dmarc=none; spf=pass (relay.mimecast.com: domain of andrej.bauer@andrej.com designates 17.57.155.11 as permitted sender) smtp.mailfrom=andrej.bauer@andrej.com 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: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[17.57.155.11];domain=qs51p00im-qukt01072102.me.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[17.57.155.11];domain=qs51p00im-qukt01072102.me.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT013:EE_|SY4PR01MB5898:EE_|SYZPR01MB7467:EE_|SY4PR01MB6784:EE_ X-MS-Office365-Filtering-Correlation-Id: 69e5f00b-9a3e-412e-16c8-08dc01ae735f X-Moderation-Data: 12/20/2023 10:57:47 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: l70sroAX62IiLWl1rV4LFpEoyGrdD1egkkAK3kZMIOaWXfBsTjiQcLoJxfar3F9XRbfGcGpmj49la8BJVSwLMkiUPd6d85/3Ekko/PKn9dLjFjobZp1O8wzAzv7F9o28si4eR21989HcjWqVDDOWlFHZII7ToWBtBsW8HzNBXqwyjvoWSDG9nuxMr+c1H3Ph2rpy8DY4pfDMSfq9K86ebYQmsr3SkBDYABheQ4M52ygs2ix0vY0Hr5g61VDzbqzWvlYtr3rEEgj4uBgA9BqKwfN/WAd4bXRINJwKvFLGcqN6VLHrCmsqtAhiLckPe8ulAaXTzek1OIjFDhGCXfou9MTm1aoSxPgsVpyuy9yAlcOMOth1ok9lA9cShU+rISP5MzmbIOTltxurkBLNL6pq64RxUD466FAhLw0ez/hgrzvFACCIYxA3XRTD+Wi/GTN0oEjTYFs6Fh9M9MMzbVQw2Ma9OJKLup+kc4C1w/bs1a+ilGXE0Kkamg8gewur1d8ASmALNVX4QsZ8AYoWVouYqrNq4CUYdFQjIh21MDxFfooJN2Mr+87Dq16XMAokPpg1qWObKOjLBckt2R67igKUPbc/al5x4U2mM1BQnFI1bpn1gJfxmTDB8Rxf2NYL+g7kN0rdDbMWZaKE0X5vEU0poff0CrA2ps9lAPcZs+Ev5yiJsfi7lzfpazSoJYlTddYMv4eKq5tuYWT49t1PDKoV1CuDYnpWjeUaATsN2Hau0Hhjf+aeoEh2ILPQmX2t9Ht76P9J9nZgGrR47ZsQC5oi79ys59BkcsG9GErudV4fYGdCC0Il/g7fNUnTRBb2fzHyBIGfCG82UXTQd8IayDXl5mTOnenyoIvdLuy69wgawTDFHMqalcQRd5wzwbQOvXXWALXEVWX82hEI5dE7Ia2ofg== X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:qs51p00im-qukt01072102.me.com;PTR:qs51p00im-qukt01072102.me.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(136003)(346002)(39860400002)(396003)(451199024)(82310400011)(64100799003)(8000799017)(48200799006)(1800799012)(40470700004)(6266002)(83380400001)(36756003)(156005)(7596003)(336012)(2906002)(66574015)(33656002)(3480700007)(32850700003)(4744005)(82740400003)(35950700001)(32650700002)(41300700001)(7116003)(86362001)(8936002)(8676002)(6862004)(9686003)(76576003)(88732003)(498600001)(2616005)(956004)(5660300002)(70586007)(68406010)(6666004)(41110700001)(40480700001)(6966003)(7336002)(7276002)(7416002)(7366002)(7406005)(89122003)(26005)(40460700003)(786003)(316002)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 69e5f00b-9a3e-412e-16c8-08dc01ae735f X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT013.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 22:57:49.4596 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: k6dTvsCkxNccZaKiTQMDLqf/ww3GLXDu80LH3k/aUgxzQLg6+ysPcKO2y0CwCxa/RG8ETKGs1KoCiX/i1Ih+AfUw59WS4QdgLMmh/AHQO5EChK5RpwQ9inrpLjysxfqDTLRdid07pibe0zog/IwVnUW6c2lxLQIAON3S2eIcLO3S6pU95JJ63+EidVAxcze+sVudeS2iB3sgrhrlsxw0Y6Xt8d534AI7SpJphe3XY3g= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB6784 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?UVRMZVdDdFIyOTFHVldpaVFzNCsyNHZad0tBNGtKNUtwWVZWeDJhaXVES0dn?= =?utf-8?B?MGRoY0ZEVWpLenQzYTdnZW05WU1xMVo4TmZ5MXA4QmM5Q21SSURVcmd5TEIx?= =?utf-8?B?M1g0RXdPQVZlTjY3eDJVQktSVTRyQWptY2RkMlNKc2tQWWlIeXlvQnVRYWdo?= =?utf-8?B?NStucUNwUUM2TGhzSUl0OFpUbmsxWmdRQjVxdFR5MXlUODRwK3Rhak10ckd3?= =?utf-8?B?TUJsWFlRUis4Nk9vK0ZLVEkwQ2RUOG9lWExtVmtZY0d3dmtOM0FJbzRsaEN5?= =?utf-8?B?R2RGOTN3Z3V6SDloblBzSUNuWUhWMTQvRVUwM0NPVGtCd2dSbnM4RDZ2bXVk?= =?utf-8?B?eTNRelFPVVVaUTdWOW54c0pLS3dDLytzTTdrTDRqRlFTMUcxdjZiNjNJMHBV?= =?utf-8?B?c1hGeVJHbTVBVkYydDltQ3pmTG53V0lJTFdGL1lLQk9JamR0ZXdRckx1UDBo?= =?utf-8?B?WndjWXN1cUxieGxHTmtremhpMkF6dWZNeXJhV0x6aVVCeDVuc2ViaEpYS1Nx?= =?utf-8?B?RjFjTENXTEM1aWZyN1NoUUl3K0JBdElSZEtDZUxCMU1Cai9ON2o5N2tURGdO?= =?utf-8?B?SWU5TXpSTEdrODJtaUZZZDZFWWl1UUo4UldTSVZLUEVwWDZWang0bCtjOVZJ?= =?utf-8?B?YWJhbnpxZkhCdDQ1WFA3YTNwSEhTS2JhNTZYQ2h0aW1nUmpGeFhPZWhhbDJD?= =?utf-8?B?cHBWRSsrRzNDQzFRSUVhSGpKaEtMZHFxU2V6RzkrTjhZclduVzNwQnhsSjRK?= =?utf-8?B?cnVGU3cxSUsxRm9MSVJ5Q3l2VHhaa1ZDbWFsby8wOSswc1JXbDEva0Y3VThY?= =?utf-8?B?cUtUSjBqSnZZbnpFQm1WLzdtL0prb3JOOUFia2UwWFJ0UzVCQk0xUWphR1NS?= =?utf-8?B?bE1HMEp2bHNaN0E4enNrKzdJanY2Yko4UDJUYnFpdjR0c0FHSXI3NVhJdTZB?= =?utf-8?B?dWVlMFN6MXUyVEs5bVVaM2FYVXExRWlPQkxFNE5QbFlsZkpEa1BQdnBsZkwz?= =?utf-8?B?M245WmQ4Q0JGRmNUS0JHWWpEZ1JUZVBRZDM2blZtaUlEMFZ2ZDZpbm9PZGZL?= =?utf-8?B?YmZaUGJZZkxUV1h4TmdNeHhDaVpJdk5hbXRqWjZBZ2xWeGEzbkg1cFlVK3Bv?= =?utf-8?B?YWNZTG4weVBicVRjWUQvZzVsb0dGU2d3L3pramg4dDhEdjkxbkp0aklRZG5J?= =?utf-8?B?N2RMSndCK0JNTFI0c2NadStTbUFkcmhuQlkrVlJsNGU2UEZpL0t3Y0FEQXQ4?= =?utf-8?B?ck96aTNiS09Xd3FIUWlNMTRFRHZSVlM0RVRCNFQySjhVV3BHeDk1OW41bWgy?= =?utf-8?B?OWZ1b3JkUTRnVWFraGlXS08rTGNSOFdFR1JNVmFPMzBJbDg5Skt4REFQaGdL?= =?utf-8?B?a3JncjUvM2xadlhLaisyZDRMNFBsczhZR2o3NjFNZFJZTVg3V0VwS2JwS1lJ?= =?utf-8?B?UGxjNFRIaFlldnRsM1M1Ny9MeXBPNVlPampIRTJaK1dpM3p2OWJnNnpkNWVw?= =?utf-8?B?UjRucDQ0UjQ1WmFKNWtFcU9WaEpVWFpha29mSVdTRkp6UWpWQ21pYVZmR1kv?= =?utf-8?B?RGh5Zll4dU1ENFJWWTViaEZkODdLQTFSL3k0QlNETU1VZVFIRVZFaXQyOVha?= =?utf-8?B?Z3NNTzlKTDVIMFhibG1aNVBHV2xJMW94YXAvNWwrU1VERTNzZUZYU2lsMDhG?= =?utf-8?B?Vk5FUmJab0pnekM4VFlYRmpCVDBHY1p5cG0vQzJTRUMvK0Q3ZFZTR2oxZDVL?= =?utf-8?B?N3ZQMHBLNVU2WWtuWDRBVGVOd0ltRWliREdoaWw4bHFJL1FaM29HV2IyRzBH?= =?utf-8?B?WmhkclJmSHR3UGwwRTF0NXBvR2t0Q2NQTG56ZHd0T2NRVVV2cTNMQVVnU1hZ?= =?utf-8?B?QVNDMGZpQ2NvYlFRZGg0cnVhbHV5RVczSjFNcTJWM3pybjZBVFRQTVkzeUh3?= =?utf-8?B?MUlKR3FlS2ZKZXFjL0RndkNwbUtjczlveERpSUZTTmZ6Q1ZDai9PdmZZMC9T?= =?utf-8?Q?Km5Fx3wkfJtxyPWXicsSQnMZlEJQbc=3D?= X-OriginatorOrg: mq.edu.au It must have been 1991 or 1992. I was a mathematics major at the University= of Ljubljana. During a visit in Zurich I walked into the ETH bookstore. Th= ere was a book there with a magical title: =E2=80=9CIntroduction to Higher-order Categorical Logic=E2=80=9D I had always been interested in logic, but I never could find any sources a= bout higher-order logic, let alone one that used the fancy thing called cat= egory theory. This was the most influential book I ever bought. It was my i= ntroduction to category theory. And the =CE=BB-calculus. And higher-order l= ogic. I didn=E2=80=99t understand any of it until much later. When I was a senior my professor Marko Petkov=C5=A1ek, a student of Dana Sc= ott, asked me whether I=E2=80=99d be interested in applying to CMU to study= under Dana Scott. My reply was: =E2=80=9CIs this the Dana Scott of the D i= nfinity construction from the Introduction to Higher-Order Categorical Logi= c book?=E2=80=9D Thank you, Phil, you will be missed. Andrej Bauer ---------- You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as= hx?source=3DEscalatedMessage&action=3Dleave&GuestId=3D4eb9b40c-9b3a-48a5-97= 81-836e5a171e8b