From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 9094 invoked from network); 27 Oct 2023 06:58:33 -0000 Received: from mail-sy4aus01hn2205.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.205) by inbox.vuxu.org with ESMTPUTF8; 27 Oct 2023 06:58:33 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=MXwlKhHV7Iyl1E1kSSptDoclT7s1chdAzCa2Mrwe7o0uMDKCL9jvsTsLKm0uuptLudhI+CXrv/DnGakOdK95j+85qA6b0khDusUenAj3bLwCijsMSTuWcRbC0sBzXiXP1r7srq6bJa2PzvtdD1CTTN20HmzLM5vDqwG2BU6gH7StPflIKFb42Z9ckAGC53mND/WdWSxYQ6ooDVlr4QJZMX/HYvjUuSAgRd3kVJ57onKYL4EIJEO1FMliIJo55BBdZeE8mPTvBgqNlr4kHrZf6g8GI6Sd10d0lEP4si16R2UvT6vnjtH6BsjJia4hpB1c4KBcOwFQ6/KYYMrBioW5lg== 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=keN/5foB8VfEp1B77LL+QIhZlgOFUPAijSdg/AUqrfw=; b=jSjtbvft6LofccYLqFApfG2lAOKc2EdOEG8qu1e+e/b0ZOViHWLiTZmMAaHSSIo3oooeSmylv9116V8NKLofTgYQFm8QDyHmpkovgAzbEDKlyQNy6++1dJTloZ3+YWxFk6vv5z877j2htHwrXHjTLoNvzb6jXPwhz2wjTumjMDftGkq8Si8N1jpo3H8QZu3ksmvGK/avhMEF0TgLxZlfT0LZKPHNw48YFM5IOdbuqg8Tt5cwUZtcAXMVGKBnTxriTASa2YUrWjNoRoUMFTaEDBmwry6pBrwn9v6ZELISQhXBBa/v7iAl2+dSCDsMdzCP+1dpJFwkWwOXYDCKVgln2w== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.stanford.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cs.stanford.edu; dkim=none (message not signed); 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=keN/5foB8VfEp1B77LL+QIhZlgOFUPAijSdg/AUqrfw=; b=F2IAoIWn8xpq6HFDJpegKliYjw7xYhe4QBruTpjrevgY17m3wxkukjpUvjlw+OOn/4laBkUhgNM5v6I4tQE+/Q6ydV0Nsk0g/13MSHQd8N/6NQLKk0D0pQYNLmWR1lzdjSzyq2pn8hubA+si9faSRDoKXqeoWcUDa/V9L3D4sIFzxLh/YpteFSYuxml/vxXxJL1XK6nr/CjNkf9qa6SejFQAy8qNwvEhinKFjk5BE4MbaT8iZSIt8gmC1vNp209lDSIDLQs9ZEXc+ZhUaJPDHxrlW7Npn8GJj/1j4GKc9gSqKYQyp5UP6FeQdKVwVX3cDNZzzPv1MNSGAswpEkNczg== Received: from SmtpServer.Submit by MEWPR01MB8848 with Microsoft SMTP Server id 15.20.6933.19; Fri, 27 Oct 2023 06:58:28 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=h7Ur5cgwuc05NcuIYHM1YHkwiFHNFUNIMcekhhTKFcdwUD4ceTCdzcJUYxvw3rqlllfni84PzYLQ6y/3T1hq9McFtuir2gmigJt39GXYf6BA9/F68dv9K0wVcx8ro7+/1AJV4U/QuaWp4frhof7vTf6PSo/UTKCVzrIi4Xkov0b7I27cjdAkE0EOdWwRR9iI1WT/LgpkEfJbhBXiVSDdxpnOPhrRl3wA8XtycO5Mb0lnvjEgJNaMotojhzMLSbfjER6mvvmJ0D3h3kkNwj+eB9ug9KZnKJIDzvt1FT4aysNFqO4edHVLCLJ89Cy7uJtgRa9QGSTPgGAYuEhxe0bJrA== 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=keN/5foB8VfEp1B77LL+QIhZlgOFUPAijSdg/AUqrfw=; b=CNxtPDtw6CalZgiTMOh8uDX7ZMiTx8q+nBYzTJf5AxAm9O9sUTZlKsg3z8nkmjPrfATjNxzFVjr4CXdnmSpehNb8+hromw8cXsF7LKcirWBgMAI0L6DsRFijlr26NPxxp+R5xbcJfFPiFjYJQy2Pfx9fnSN1RrWDDP8ezhrdBSuVwuE7GwOKZaeCiTZiMPB0Lk4g/W1O4fcfNA4NBkKQsxu+I/9t1s3SGtehyQewOj3p91JoBnQHjVSORx883Zf50/TMQ43I7mZsmZ2g6f4bDoAXm5A3ZxglEYXOAOyNVramchhpYk+5FeTXRw//wTy6EvYHM/8jVwKN7konbIyavg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.stanford.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cs.stanford.edu; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB8211.ausprd01.prod.outlook.com (2603:10c6:220:1b8::12) by MEWPR01MB8848.ausprd01.prod.outlook.com (2603:10c6:220:1f3::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.19; Fri, 27 Oct 2023 06:58:22 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com (2603:10c6:10:1c1::14) by ME3PR01MB8211.ausprd01.prod.outlook.com (2603:10c6:220:1b8::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.31; Fri, 27 Oct 2023 06:58:20 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::d050:8113:d396:907e]) by SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::d050:8113:d396:907e%3]) with mapi id 15.20.6907.030; Fri, 27 Oct 2023 06:58:19 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LGly/CR/JgE4uUgGNOAaeBrD3fq7e2P7kFy4GR6uJht4WyUX1/oRZXSYxO3wXqheUb82xWT3Oruz3Iv4oF6nB4aHvoX+UZv3h2K/ZjYAjOUp3z9MegoKy1tdVcYoZVKbwzHEOpWPiQqClsxuYyeaek6eHpa1aphP8fdMnpeNQiA0nd8sydDpYWv5AUfd81M86Qztt7JSda+MoCo/7COpKKyGLgXvcJbI8Jmisvn9aM/mAbtegdl+P6IsLInTeoZe+ItCfEeXEvRilpvXWUgqBNpFVoLG8zICCleGVVmoMLC8G9IVd9A51PJ39AUJ9baS1jRKryaXO8D0fj7NfPnFdA== 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=keN/5foB8VfEp1B77LL+QIhZlgOFUPAijSdg/AUqrfw=; b=QS1kvg0A6vQFzmZJ27E9KPh3IUYMW9SJkkxbIRishNPIKfk4kezbn2bh4N73YkaVXpT1yoGlk+hQNFaoWTrJqDb+XOgk+C6GQLFcCmD/Ou2B1HSVPsZe81Bt+RsmVw3uI58ADHaI1qk3rnTFQDY/A3VYPwtqFLekp2Gp67mxhr84gURQRmaZvBWqcAeP3TmxY0AcKYO4DSQFSHL9rF9kM/Fq6SAiCD0+fbheNgmuSIp23crQ0/Fq3vgAlLrbGl9GcV1P+zICcXbGthYf5KzuR77wK0YlHN/8GcGfTv+1VRC52NrO2HuDBLHHyfW5i3h2EJovCFdY368NxpetXOC47w== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.stanford.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cs.stanford.edu; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01CA0051.ausprd01.prod.outlook.com (2603:10c6:220:f7::12) by SY0PR01MB9342.ausprd01.prod.outlook.com (2603:10c6:10:252::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.22; Fri, 27 Oct 2023 06:56:34 +0000 Received: from ME3AUS01FT024.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:f7:cafe::6b) by ME3PR01CA0051.outlook.office365.com (2603:10c6:220:f7::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.19 via Frontend Transport; Fri, 27 Oct 2023 06:56:34 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.174) smtp.mailfrom=cs.stanford.edu; dkim=none (message not signed) header.d=none;dmarc=pass action=none header.from=cs.stanford.edu; Received-SPF: Pass (protection.outlook.com: domain of cs.stanford.edu designates 209.85.219.174 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.174; helo=mail-yb1-f174.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT024.mail.protection.outlook.com (10.114.155.137) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.21 via Frontend Transport; Fri, 27 Oct 2023 06:56:33 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698389793; 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; bh=keN/5foB8VfEp1B77LL+QIhZlgOFUPAijSdg/AUqrfw=; b=gIxRehISY6aaE7VxzHns8TSx2QE3skkERfHYVlPf5LusDykj3jaAGNYTm0D2BxbXr3cU9s TZbSxSQ9snbi2U/cCNxkO7nTUUP2qzZKlxelQjj1GzmlWLws3soWLm+hc76jI8PkqHm+tx DdedyUb+HSx/cBPUSMCXy4uFkIiSluz3NN3fGrNhct/tHUFgXkEKkkVtqWIp+QhH4Nvz0X IX0lej0KZU/LNDinaWVsbn5PDIGHQDMPWOW/3bj8FzGsWOi7dnkOlM46dibbxjfxro9UdZ uw9HhgeJwEP6VLFToSjsS/OBrX0/kHHgeVjUTXdYPdOri+jJQlIjDPzcRH4Qdg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698389793; a=rsa-sha256; cv=none; b=pX+IluKHH7mFaec+/pNoR/mDdg1JAQN2Qxi2DnOUT6EP4dayeiAd75UaOiMH58vk2uxRcg O6E5rjR6d5pkQCONOazNmr+7TR/U/OI8We3LTFk+BWCv4fuNDb05c4vqZmmUG77IP8hWm/ 335K+38uFLdUv6m+gdDKn8zB/Ce3or6mbEhl0snUHRi/MHm+z1DQhgKyYYATx58gQap72i 4YBkhWjcQqrs2JXJY40EDM96hMbpdFNS7iVQr8c5rCezaP8uUsoNHxizBKPqruEw9IN7p0 tBePd9v62/HEAduXUoU+72F66VpXCZ8XlYh8riFeFyZMozbEEXFNeZ3Wn/5CXw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none; dmarc=pass (policy=none) header.from=stanford.edu; spf=pass (relay.mimecast.com: domain of pratt@cs.stanford.edu designates 209.85.219.174 as permitted sender) smtp.mailfrom=pratt@cs.stanford.edu Received: from mail-yb1-f174.google.com (mail-yb1-f174.google.com [209.85.219.174]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-96-CRttvvQfOPevofy1G8hGGQ-1; Fri, 27 Oct 2023 17:56:30 +1100 X-MC-Unique: CRttvvQfOPevofy1G8hGGQ-1 Received: by mail-yb1-f174.google.com with SMTP id 3f1490d57ef6-d9a398f411fso1281204276.3 for ; Thu, 26 Oct 2023 23:56:30 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698389788; x=1698994588; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=DaTYxpe4Uq1XcV0ud3J89qT1LExsKGsnmI3O6Dy0UAE=; b=GhGMzdOD2vbnQJmDquYdDtuLqhZG78OYjbx8B8/M2YCTY4sBLh6OZ2u6/sDGQPzMy/ 1D3qCFhVitiukoah5anbO4ShgQfDSe8v7IEcLAbE+Pvm80m/NepF9nezq79P1uRGgJCh WQVNaEmioGmGkhLL44MK1W2MuB/EekxSHLr3yRmzhfGtz2vmGJ09NTmw9MY8o/3zdKC0 uwL8HZYjCS7ucjRgYc08CIkbJHpEefilsK3bn+7EII/6Yg0lskQaddv9idxnthLIpxfD fIB8hbVq4qyHDb0eMT+Y5zoy7/ef6oMc4y6OtF/2BJygOD0LUWmOYj8heWQBAPyoIFz2 8eUg== X-Gm-Message-State: AOJu0YyacW0lf2IsZtUaykVpBIGLdjzMKwfFXLOEFsE7mpXVXr7s5u13 Ir+nj9QVgdUDRUUkxIXSRWb6OvFzpADwXenvJU2GUpEp3Lm3QY41Hw== X-Google-Smtp-Source: AGHT+IFI+ECD+jesmzA0JRdBbqHd4U1vJP/v/8ei1+iCKtV5EQcODO8Kbu/qLnciBRQ67InSlqWvRRwERM5nrX6/nBI= X-Received: by 2002:a25:804f:0:b0:d9a:3d70:db36 with SMTP id a15-20020a25804f000000b00d9a3d70db36mr1480046ybn.42.1698389788132; Thu, 26 Oct 2023 23:56:28 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Vaughan Pratt Date: Thu, 26 Oct 2023 23:55:52 -0700 Message-ID: Subject: Re: Signing off To: Bob Rosebrugh CC: "categories@mq.edu.au" Authentication-Results-Original: relay.mimecast.com; dkim=none; dmarc=pass (policy=none) header.from=stanford.edu; spf=pass (relay.mimecast.com: domain of pratt@cs.stanford.edu designates 209.85.219.174 as permitted sender) smtp.mailfrom=pratt@cs.stanford.edu 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="0000000000000320300608ad30f3" Return-Path: bounces+SRS=zz184=GJ@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.174];domain=mail-yb1-f174.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.174];domain=mail-yb1-f174.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT024:EE_|SY0PR01MB9342:EE_|ME3PR01MB8211:EE_|MEWPR01MB8848:EE_ X-MS-Office365-Filtering-Correlation-Id: 46477a9d-fd36-47c5-9258-08dbd6b9db37 X-Moderation-Data: 10/27/2023 6:58:18 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: rsAYzrOwUPziKGfulDOePng6aqR5dkvykGqzWG3dbXY1J/5+r0JL3uSdUt6MleHGYA5NEX0ZDGjhi1cJEicsHoc7m2MOyWxY742PtRchMSZ9/Q3sT+0Em1g5jex3kqmIJ+P45TmknrRH3ZiDCnidgblOtUnXn07ZXRta20KdLx4NcCXfaY8XYvsyIf7fccAC5+A93m29nmtMIhqdhcwOL5J3eD9uR2YKOzUBeKC4eNkkw3MFOMPMfvmct3sL8omTEz8ScYipBZFlqZJGLzdSJY3OlN7aXURANKuRxPWuTZPj9JNPRVE1Cb9KXMPbAS4KAPftZdZYpVKlI1Tjn+8WTy0z//a6VOGahUndcUesTi+aGyIADMd4ob83Civf2txGinfOQ1iTopyYoRP38VkNa1TAfrsevgQ/rvc426pIh/3NxFyUdtPb+fm1aCVy1vRRSru7La5TSYjHmbC9lhexNiKjpQD3vORz6UpdL3Yd6Hgv4zj+mWoutKAzr5TwzdwZDamnN91ba9PPWo9Q+ozwcJ7ECvY1f9sKl/Gg/RdPlqDZUT9YXgg2eMVcxinz/FI1TEwsd4arR4lTaVLRj+OZzIyT47l0wZjJeJcTzBULpV9DjPyYX7QqaL1DO5jsfjBy2Bxf9lDAVGHOTZE7JRjgnLLKm8WSQP2NxoH9COrHLoLCLr/OvXYJ1aiUksHGLSbS0j7cLMHilNWitu6DGxQFzisZZFWGLzesuX19JWE897TqZ02V7JVBUkNc4+Myv5olX7VnhNEfv+pycQOKof4qKweBJyL8HC8tZ6PreZVLvq0nnHxVOoqJqceVgBYFtTL9EuT0YAZboQYxG73msjbU214lCaNXA9Af8eCgwLSoh6ijSn4qRq4g2aWNneJpDmbhC1JYry49Jkm9rl4b6LOyr9rMnyKmOB07yJQpaY89GIo= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-yb1-f174.google.com;PTR:mail-yb1-f174.google.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(136003)(346002)(39860400002)(376002)(61400799006)(82310400011)(64100799003)(451199024)(48200799006)(8000799017)(40470700004)(7336002)(7276002)(7416002)(32650700002)(83380400001)(4326008)(8936002)(2906002)(6862004)(8676002)(7116003)(7366002)(966005)(35950700001)(3480700007)(7406005)(166002)(7636003)(7596003)(53546011)(33964004)(45080400002)(41110700001)(82740400003)(41300700001)(5660300002)(9686003)(55446002)(316002)(75432002)(786003)(42186006)(156005)(66899024)(26005)(498600001)(336012)(32850700003)(6666004)(86362001)(88732003)(89122003)(76576003)(68406010)(40460700003)(70586007)(40480700001)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 46477a9d-fd36-47c5-9258-08dbd6b9db37 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT024.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Oct 2023 06:58:19.9910 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: XBBlCulY1VCztisrc03/zkP8zQxeehFiKSC26WM6R2Y1JqFPiL9ZLyC2R3yrtlYhxgmlK/UEVaUj1m3ITZXHrpRTa5CLNg8z/XY2rDfLHE5sMSEA0ab7Vtb6EjVBu2sIi04hJAbYV7WKl30DqBvBO4vmksTjxnEGftcgyqmUFHaZmSuL/dl8Vo34nAo7LjVQ X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEWPR01MB8848 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?a1M0bFJpNCtNZEw5QmkyK0FvME9WNFFkVjhkUWJCc3JLTmFHdER3T0ZPKzl6?= =?utf-8?B?SmdQcmQzcHhUYVJFbTlnUXBlOVNmZ2NKd0FZZFMweHBDcjZQeXBPUXgycGZx?= =?utf-8?B?YmF5MVFnMVoyL0ZZMGVZQmZ3aEVGUzA3UWYvMno4YUJSQzlLdWtPeGhEL3pD?= =?utf-8?B?YVJxUW5MdlUzNldXRWNuOGhka2gzcFcwWTgwcHNTdHdpZEtWeGFOdWxSRG5T?= =?utf-8?B?ODNzVUVzUFZGbU54N1pNN1BtNzF3ejZpMlp0QUdxWDlzMCs4b1NhcTFZOXpC?= =?utf-8?B?eTlTSjlWMGhTeXhTRGs3ZGlTLzFiZ1hLWXZ1WFNRaFNmR1FQcnJic29rWlVK?= =?utf-8?B?RWVqNlJ3ZzVZTDAzTXl5SWxMcGZXMnNFRFUwNjUzUk0wUDhubVJMNk1zNDBT?= =?utf-8?B?dGRTOE5EOU9rZVIyejRQSmdVbDZXRW4yaWkrYW81K05ZRDMyQlRscnZ1UHRQ?= =?utf-8?B?N1ZuMHZmY0lnZ0x0WlFOSi9DSzhvVEFvUHVlTTVibGJ0cHFCTEV6OXNIdlFE?= =?utf-8?B?RXFOak8vVDkvaWJnR1RXMDVSVnE3R3hDdVZ3bGh6S3FreDVwQmQ0RmdWYnZV?= =?utf-8?B?NzlLYk8wTDdQeGVEV0ZqSjBvKzNLdTRzYTY0WjJXMG42MGNNZHQyRG1HZjdn?= =?utf-8?B?NE5aMEE1QWh2QThRUG5tRjhTcDBnbEZpMFZ2RXFTL2s4aHZmdnp6b0UvUUM1?= =?utf-8?B?cFFDM1YvT0l0UWlDdHNScGY4Y0NQcEFicjFSK2tjZnMybEkrK0V5bEJ6OUFZ?= =?utf-8?B?SUZYWXlwTmt4MHdlenc5UzhQY0EzUmJoaHVCbEJUQjFsVFJCMkF4eHZNS0RS?= =?utf-8?B?anMxMFNnSUk5QzVORmo4MnhmMTZBemNIclEvL040aEdTUzFlVG93N1Jvbld5?= =?utf-8?B?Qi94dWxONVpkRVlMT21XU3FreDdWR3k5bUxFY0tnVkxWRTBiTzkzUVpzV29l?= =?utf-8?B?UCtMbUZuM1JmNUNCN2pIdG5KRS9mTUNvMjZhTHJ6cFo2cWRkWDRPemJyajkr?= =?utf-8?B?bmhJYzBEeGk1VllSRElDOTl0eHIvM0YwcjlCU0lkRWE4d2FCT2pCeGpWTDM2?= =?utf-8?B?MmxENTcwL0E1Zm5kWWNLUEZtRURzOG51SWc1aWsraFBoZmFCNnlBSENqNXBC?= =?utf-8?B?azRVUmJYc2RlK3VzT1VDRnFSK1p2N2JUcVpUUHViMTRwb2F4R3NqVCtaZ2d1?= =?utf-8?B?VmJsMVlmeXJTR2JJRkdnTm1jQmFzbFQrbTJvSXpzdE9wNEhZcElZK3A4cXlj?= =?utf-8?B?T3pvaUxqNHlnS1owVzFWUGR5STAzcDdhczFxLzcrUmFqb3RIdWgwYk9zbmk5?= =?utf-8?B?R2NZcVVYRHJyLzRheGxEdVNVemd3ZVZuRkdGeUhEeFl0Y0xXNHBWSktrZHJh?= =?utf-8?B?eGlnSUFEYVdJVVRNZ1pmOVI2TGtkenBKc09PVTRmcmYrUlBXZjhkK1FlckZ4?= =?utf-8?B?TDM5d1I0SFNyZld2WmplU2JHejNRVnp2KzdSWjlkcEZpcnNRalhmaGxhN3RL?= =?utf-8?B?YzRCRW1ZTU4rR04xUEh0WnlEb3hjT0dyekJmVGtuQXJURmdzQ1hnT1Z4YXAz?= =?utf-8?B?bDVRaVNaYW1KWVdMVTF2NUdrVkQ5cUYzMU80NW9nTHRPa01vQXdyVmp4VDBs?= =?utf-8?B?UjZSNkFvRU1aSzljNXlFdU15Ly9QV1grcm1XN2YvSzFOQmVETW13YWpkQTRV?= =?utf-8?B?ZWxOS0FvWWxmbFhmRWtrZU5zVkdLRkpENklaWWZLUE1aN1BpS3lJdWVhOEZX?= =?utf-8?B?ZU9RYUsvT2M1REhaaDhsTldGQWRpR05FMkpZZU5OLzZJaTNRSU5TVDIrUkMy?= =?utf-8?B?VEJmNzNEUHdGL1lkUTYzRWVVdktWVkxCY3JiU01jNUtDMjFaRUdMckJqR2Q5?= =?utf-8?Q?ESgIDZe6dSd+l?= X-OriginatorOrg: mq.edu.au --0000000000000320300608ad30f3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Bob, I really appreciate all the effort you've put into keeping this list running for so long, as well as keeping its tone light and bright. It's interesting to compare it with the Foundations of Mathematics (FOM) list, which early on tended to be dominated by Harvey Friedman, who started it in 1997. Harvey was later joined by Steve Simpson, who rather dogmatically did not suffer category theory gladly, to the point of driving Sol Feferman to shout Basta! before quitting the list. Shades of the similarly dogmatic Universal Algebra and Category Theory conference co-organized by Ralph McKenzie and Saunders Mac Lane and held at MSRI, Berkeley in July 1993. The opening welcome was given by MSRI director Bill Thurston, who in mid-welcome admitted that the opposite of a morphism made him feel ill! An inaudible gasp from fully half the audience echoed round the room. When Martin Davis took over FOM's administration, true to form he kept it sharply focused, arguably a little too much sometimes. Eventually Martin passed his job on to Sam Buss, who has been running it more in your more forgiving style, with much the same view as you as to when it was time to bring a thread to an end. May the reigning dogmas and cats live long, and maybe even prosper! Cheers from Up Over, Vaughan Pratt On Thu, Oct 26, 2023 at 12:52=E2=80=AFPM Bob Rosebrugh wr= ote: > > Dear Colleagues, > > From March 1990 until recently it was my privilege to moderate the > categories mailing list. For a couple of years it has been my intention t= o > pass the list to a new moderator, but I was too slow to act. Changes to I= T > service at my former employer, Mount Allison University, abruptly made it > impossible for me to continue running the list. > > Those changes were unexpected for me, but I have been away from the campu= s > for over three years and was not aware. The IT staff at Mount Allison hav= e > always been very supportive of the list and I thank them for their more > than three decades of generous assistance. > > It is a reassuring pleasure to know that the list is now in the capable > hands of JS Lemay who kindly accepted the invitation to revive it. I am > very grateful. Moreover, there is no one better suited to the role and ou= r > community is fortunate to have him moderating. I am also very happy that > the new home of the list is Macquarie. > > Best wishes to everyone. I am hoping to see many of you in the not distan= t > future, > Bob Rosebrugh > > > > ---------- > > You're receiving this message because you're a member of the Categories > mailing list group from Macquarie University. > > Leave group: > > https://protect-au.mimecast.com/s/QaT4COMK7YcYnEYLIEwTL-?domain=3Doutlook= .office365.com > --0000000000000320300608ad30f3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Bob,

I really appreciate all the effort you'v= e=20 put into keeping this list running for so long, as well as keeping its=20 tone light and bright.

It's interesting to compare it with the= =20 Foundations of Mathematics (FOM) list, which early on tended to be=20 dominated by Harvey Friedman, who started it in 1997.=C2=A0 Harvey was late= r=20 joined by Steve Simpson, who rather dogmatically did not suffer category theory gladly, to the point of driving Sol=20 Feferman to shout Basta! before quitting the list.

Shades of the similarly dogmatic Universal= =20 Algebra and Category Theory conference co-organized by Ralph McKenzie=20 and Saunders Mac Lane and held at MSRI, Berkeley in July 1993.=C2=A0 The=20 opening welcome was given by MSRI director Bill Thurston, who in mid-welcome admitted that the opposite of a morphism=20 made him feel ill!=C2=A0 An inaudible gasp from fully half the audience=20 echoed round the room.

When Martin Davis took over FOM's=20 administration, true to form he kept it sharply focused, arguably a=20 little too much sometimes.=C2=A0 Eventually Martin passed his job on to Sam= =20 Buss, who has been running it more in your more forgiving style, with much the same view as you as to when it was time to bring a thread to an end.

May the reigning dogmas and cats live long, = and maybe even prosper!

Cheers from Up Over,
Vaughan Pratt

On Thu, Oct 26, 2023 at 12:52=E2=80=AFPM Bob Rosebrugh <rrosebru@mta.ca> wrote:

Dear Colleagues,

>From March 1990 until recently it was my privilege to moderate the categori= es mailing list. For a couple of years it has been my intention to pass the= list to a new moderator, but I was too slow to act. Changes to IT service = at my former employer, Mount Allison University, abruptly made it impossibl= e for me to continue running the list.

Those changes were unexpected for me, but I have been away from the campus = for over three years and was not aware. The IT staff at Mount Allison have = always been very supportive of the list and I thank them for their more tha= n three decades of generous assistance.

It is a reassuring pleasure to know that the list is now in the capable han= ds of JS Lemay who kindly accepted the invitation to revive it. I am very g= rateful. Moreover, there is no one better suited to the role and our commun= ity is fortunate to have him moderating. I am also very happy that the new = home of the list is Macquarie.

Best wishes to everyone. I am hoping to see many of you in the not distant = future,
Bob Rosebrugh



----------

You're receiving this message because you're a member of the Catego= ries mailing list group from Macquarie University.

Leave group:
https://outl= ook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=3D= EscalatedMessage&action=3Dleave&GuestId=3D22306402-b025-4580-ac69-6= c171ebb8afc
--0000000000000320300608ad30f3--