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 8041 invoked from network); 27 Oct 2023 06:25:38 -0000 Received: from mail-sy4aus01on2119.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.119) by inbox.vuxu.org with ESMTPUTF8; 27 Oct 2023 06:25:38 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=lKumC5OG90JKddP8QI5zoQp5KZuNKmV/mkkzqkaS0hn9RnnHwQQ0O+lcLemGKPuOvFu+vMT20YPxWR5R4oMbCCPNdfGvKJRNQ//+QIfeUMwQkDHaC0MIRy0Xi4NNGXKjq/MBW1iNn6QHSA1MAva2u2YYcvcmKwMKfQmkBG6RxTewIpPChRujcf5yI0muZhaYp/mQVI8YKzjHFShD4GbmdX/arRIlXTjNvJKPcTKbIJfnSST+ZOUKitO+o9pokE3Ujlg1vVTzW3pXD9dWOrxcN7d79xZtp6B3hkVmZrT9TvuZHT0i6UhHkwqHYwZDySO2PAYGCad6CSbEw7O7NeqrIw== 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=Do1sNUkKD0Z97eGd90YCEQQpPHLSLCuMZQ4d3FwCV60=; b=Z6lGpf+FcRXx7Em0nwdrAFFBH119v5y1OGhqOkMgdSXMrIRK4uZsLF0X+TuRRZWWSFLz6bEGGvgUxnsT88cB5c5SZL52RugL6NCSwYh0isrqbsmZc6sTvIyRhW89zkQVO6EoSP8vEDNlLs5DPet25qQws0MyVSFIRsgYrjAwuQz1OjB8IL6uNfxvi7F8KjZTQbjL7Ntyg+TsmFnAGYrYayuX6hTjRfo67iST3vehISZutGJ8ggScCyS8xNXzWB+NR91zru0v8VssdYKF9sdTmLghrztyWrunErtG6r/ihKWSW8hDUBqCLmFjqKHdgzzYDsCM1YFS7AIH2IXEnbaTOQ== 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=Do1sNUkKD0Z97eGd90YCEQQpPHLSLCuMZQ4d3FwCV60=; b=ddk8opPy5J7CP6fUjHlFKwkJd++HqQ9RceL7iNlHUN2NmBmzINqwjdVhO1QAFgAqbi4EJgQWiQ87qLdcfSeHcpPP1Ib9K+Pkir2VWlmCpYdaDFMJJiUW+LqNX66SUoIDEI8tUNyZMCX8UAxXSVUwCt7ngoe2OwRrFHygUMJeqlYnsYhk4xS65aOzkSUydcL0Dz7c/A8LgiXC07GHjUG+ZisBqEprKJykfP+YfHq6kOp0NqWAW4x7B3xA8nwxJ5eaQTRIBla5xNW+274fWM45qOFwPFIc+4PPN1Dd4YL8CCKyw0OFe9JXgHcois/Viqs6gnP4tYIwi7Its+algQ2HtA== Received: from SmtpServer.Submit by MEYPR01MB6895 with Microsoft SMTP Server id 15.20.6933.19; Fri, 27 Oct 2023 06:25:36 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=J1wyLI0bjy/DlYWj14JZWV8Fy80bVe0KxKiI9Q8R1Qq9uChLEMtU/LVT/Qrcq3c6l2neTCeozLUfh8YxMNVaUkfUDy9obixPAIp6C8r7MhSe7ZLFLj8OTxkySVO28k52nr9iVcwppOgf3t0Py8Csi7KHavNlHWPccGR5pA1ZOMt+J91bDRG5NIbx1riVZzOGCQS5Ohx+vSaUi8CwBH1P7DEyU6xUrt5LTxNRg1PIYH9VnPeNNAWgiYlp3yOWzz9Xrcmwz3HyDcue2NPDYCuhoMK4H0EV8Hji9p4IPVjWhRT2f0vz9kSN1P4BRsf7VJNGAHZ7e2VznAnuP5PmtoKF+Q== 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=Do1sNUkKD0Z97eGd90YCEQQpPHLSLCuMZQ4d3FwCV60=; b=ljQ2HwMcNkCbb8+yy7AcUzWXfH4h7QgR4AFtSfNoa0kSwzSoRF+RM/pntt239Q2NRaDRpaUE3UxBZTQ9xbsviuwyBdCfZXcM0Y3QksTD2708rKnuG2Pi6Pfm40mpaSJ2M4ipFFlKuf2bDTGacD7Gra6e/hYTDeD4tACbQsH2xPu+E7mZJ772Bp64V8rDUj0xbI/e8V6lnVGOot83unmOxAjXk9J2s1LG8JUPpGacS67u8482HoL8Mv0kMRYyvLWZjYGd/NPUhoKq9UX/I3wJbTLqP6tSA1URMbTqUeZc3zssW7KUDr3SeNoT6Y5aenTCyw0gtuLA7CpLilzZnGq4xA== 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 ME2PR01MB5427.ausprd01.prod.outlook.com (2603:10c6:220:d5::8) by MEYPR01MB6895.ausprd01.prod.outlook.com (2603:10c6:220:14e::10) 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:25:30 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by ME2PR01MB5427.ausprd01.prod.outlook.com (2603:10c6:220:d5::8) 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:25:27 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::401:2c70:edf9:59a4]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::401:2c70:edf9:59a4%5]) with mapi id 15.20.6933.023; Fri, 27 Oct 2023 06:25:27 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=GjaadVDZF7zrMpyCL/UPLcmd6063oeVZFeq89wnTrC//0WeQLR4pWbKBEmJKSPrJw8r/p7Ozfm9ezYiM/CFygqviy6FffvsDaD0ssqTIycYwMWO39i1d6BOuXLZhs4x0Iqc10ZHpVi+3y5Pb7fW/FzyoyZXKnXGm6tFLub2Ip8e4wK3FULA2yhmLmzSXmCaDFOWpohi0GrWEadUGnUFPxJNwu3E1N0xqDVC2quCi8ZDAcGDzJCLijnABRCQfYd5DOf+N10WyM6sW2bfSrTfLAQHdK7RCym7u2PhSQp4PSqFZx6qkQ269/etCD2jLCYdUtMQTl+fQaq6nwuYHBbpodg== 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=Do1sNUkKD0Z97eGd90YCEQQpPHLSLCuMZQ4d3FwCV60=; b=JjOQ8ADivnaI60nwzSuCVwE5oij8LQtd61cUEHhy3nKdwcMkoRee3O6IDKoxaBF/iqbHx23+lJSgPIabog62LZKfvQrQmK5gpaNVQRfHUn7yU+DiRrXd9ojZtdOwG7GgvN0t/TP9D0z983zTZ9DPi7RmKdRzLC7xgYQWvuk/IHsABoky74Cj4CJoOsw2mJJlDS1++Yn8GzmMtibL6c21HlCYhJ1I7LnvWqBV+oZUYB/+EwuFmSeDacJaXyjx9CbJ8GH05vf0kz+JdZ5jI6Ij/7t3PtOOIiWlG/iFE6sfVW0J83pp4B4gwJ8fbrOaBe3j6awnT8l+6OiN9cwaCU2wsw== 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 ME2PR01CA0104.ausprd01.prod.outlook.com (2603:10c6:201:2c::20) by SY8PR01MB8744.ausprd01.prod.outlook.com (2603:10c6:10:229::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.26; Fri, 27 Oct 2023 06:18:30 +0000 Received: from ME3AUS01FT024.eop-AUS01.prod.protection.outlook.com (2603:10c6:201:2c:cafe::a2) by ME2PR01CA0104.outlook.office365.com (2603:10c6:201:2c::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.22 via Frontend Transport; Fri, 27 Oct 2023 06:18:30 +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.13.69.22) 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:18:30 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698387510; 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=Do1sNUkKD0Z97eGd90YCEQQpPHLSLCuMZQ4d3FwCV60=; b=MfWLewAxODe7nVJwsodm3/Zil3iHJz7aQawjpo3LinlzgcD52X4/mniIderv1JwlX4erCY e0Lyqui0Ro+c4fiVs0/akCFkNAHxfDhS9lCG/nKY1jNw1GHH4P8XjG7hcx2IAboUhTVRKk 5fNOwlTXm/2hn/a4P8OHTfuq/TPzOhIU4o6Xwca8m+5FZe7XeLCmKAfQlZQoA9qhiqkEFw hCFfIJ8cwu50QfEGfFQqDzDskyIOeaqE0WGm6w/0I2tMlAvpqiZkmDLuA1MOQkKq/WSvWI plngxZjzfLiA3yXu8X/xkpsucYBteA9vHAc3+JmjeZ+xFXWn+9sjEEStsuXWrA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698387510; a=rsa-sha256; cv=none; b=ZsudPhJgI+sirdVMdeAzxIYXdYgu+gEwXCiimVkNA5lgAP1YGupCqS4PYsHZKqRDs/KNGL vxvB6TwGJm/Zok5DWufdDodd7ir+6Ux8ZXp/80rzEEHI4Kb77bF/XrVaDBkVteb9Umemno HCl8mnPeJeFEV8/yGNcXVCO9ZG4836b8L2SC+fEjPw59qKHXJnblWqpxueofNbyhSX3SZ+ UB9RYl8Ir5bD+ySQZKA61G+sUB3egWtlkREfQsQ2HqQfXtnsLvKhRjqz2G4R5fDlShKC6d cbrA6b2YDGq2W3ONL1IsAX/j4ErcwaiA8g8AYUKBsphq3h4ujG+/jsKu1ioBaw== 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-51-C7u9wqaINwucwDMxYRFmBg-1; Fri, 27 Oct 2023 17:18:27 +1100 X-MC-Unique: C7u9wqaINwucwDMxYRFmBg-1 Received: by mail-yb1-f174.google.com with SMTP id 3f1490d57ef6-d9beb865a40so1265892276.1 for ; Thu, 26 Oct 2023 23:18:26 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698387505; x=1698992305; 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=l/kCeFfNRA36lFjyognBWi8f9cKujw7lAWrxv96aXNM=; b=PBeGKVhAsw6t9RHLNuHm3PwikKpJBSHUBpImg533AAAYhSPDU7FjAYqxtXNkWMZYMX dSR2GuEL+4M9WM0B1ujcdTPgUSHrbr26/2c9L1Z+uXGOWpkcBcVEcMa+w4lgq3yi/mf4 +7wevskT3f46iJFh3J0RUaQS8bE/xnMdAloWFuAz6dYZ9Oa0WxS34HHDNeHQfKKgoha3 4rjY8EO2E50wdcfR2dyqZSKZBLmbRdXP2v4noBPIv6Z6zsR4P+XMk9rVkpmgcahinEBz AlR2jlSMMwKnxhWV/3JDzoxhy28bquNK4tojOoK5FjSiHq6nQ/j0UlPFKLykt+T0vjy2 o44g== X-Gm-Message-State: AOJu0YwzVXWFb4SAgYamnFL1x9cwMXmF+CVYq9IbKnsYriWx2EfCOgEC IaUU+7ZAM3N1hWuV9rLkjlbN6455Urv9euREznmu X-Google-Smtp-Source: AGHT+IFJMG9r8frdnjmr4sGSPb8jNxR2EDCGTzN3REYN3j6WwgtgOKjafCGglngAlggYuVKD9Sl3iQtz5PwmKEgq6a8= X-Received: by 2002:a25:cf4a:0:b0:d9a:c4cf:a067 with SMTP id f71-20020a25cf4a000000b00d9ac4cfa067mr1947191ybg.35.1698387504907; Thu, 26 Oct 2023 23:18:24 -0700 (PDT) MIME-Version: 1.0 References: <1B8413D2-6EE8-4134-A093-CB8EEBF03A4B@mq.edu.au> In-Reply-To: <1B8413D2-6EE8-4134-A093-CB8EEBF03A4B@mq.edu.au> From: Vaughan Pratt Date: Thu, 26 Oct 2023 23:17:49 -0700 Message-ID: Subject: Re: Signing off To: Ross Street CC: Bob Rosebrugh , Categories mailing list , Samuel Muller 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="000000000000ebdcf60608aca75b" Return-Path: <> 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_|SY8PR01MB8744:EE_|ME2PR01MB5427:EE_|MEYPR01MB6895:EE_ X-MS-Office365-Filtering-Correlation-Id: b91f551c-35e6-401b-c479-08dbd6b48a34 X-Moderation-Data: 10/27/2023 6:25:24 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: CXMHYWORqeVkERdlQ4aAEK0HQ8bNC1XVVQCeD70iAYWSNikuY36xVEkQtezn2/yzGvIL6gsPlcoDDx/E9U3zdEDwnSuUEecOZomKs+T/cD4JkF7fHjW2ICRpSWaaRQ4OJ09S/Fzy08WyHOvwZu3Vik9ZsAS4mRKmMIK2C+UTgZHy4jDbyW5gMmLepby9S+VfLvcz4cc1jIQVhkI3QtbwhwNQReyt5X0WbeA7StD76EZQAdAaXuwt2Agf/DriG/ha3iBRtgbYcXR8cglDW6oRg7hDKN1tU9LtQp+XKSBcK5Cvajt1PXhrZeRoYZRcfZTZQMmVepZfCjCljCm0iVA3pMGD3c4c7nJjLBvdz4XWmRIC1dlDR7alcQNJQVkRI6tid8lFsugEXMhdgjGonHA4H/1cuNJcKLCvpWd7fT/y7RMy5ah01Ec3c0UyU7T7n4aSfNxQ60RGQ697L2+VQMFATNN6Z9J46jqcC5QkMVZf2vBoOIHq17zavIEne5L8cckEQBcDKh9kgecJpaRUBNwgmGEaPfdJ5s3c65aFH2ZvEYUMA0FTbO8HjKSXoa2OTw4j/0UA+ha+XZJJ0xtUQ9wsBHRrob0rTL3Cj6O1Vk4EPmOtY7NURCR0XNJZ5SE+TwKs17FI7r5rNDMSu40iDnTpZfFSsnFiDaLFNfeGC2HQSxyu/3FnXvxzLbRIfWTcO0GqWb/mNYdk3t3p2cEMKiDEoeMgsT6lESl1R0CmJILJzsLoVL4kTrtrofWR9atwwkSkR7Sf28T7iNu1wgUNwK7AnganctL8NtZqrCRQkQN3TmsitjUId1wtUAGPNhg308qQljB/+hm5sCrdbmZ/C5ussBDzMYzrWFzNQQzSPjlS8VhPAHC0buuJsbpTBEf0lNvoC0qwJ/XJ8twEFVkWo4wVLg== X-Forefront-Antispam-Report: CIP:103.13.69.22;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)(39860400002)(376002)(346002)(136003)(64100799003)(82310400011)(451199024)(8000799017)(48200799006)(61400799006)(40470700004)(54906003)(26005)(9686003)(336012)(35950700001)(86362001)(82740400003)(7596003)(166002)(32650700002)(7636003)(40460700003)(32850700003)(3480700007)(156005)(75432002)(83380400001)(40480700001)(42186006)(316002)(4326008)(6862004)(8676002)(8936002)(5660300002)(55446002)(41300700001)(786003)(7366002)(7336002)(7416002)(2906002)(7276002)(7406005)(33964004)(45080400002)(70586007)(6666004)(68406010)(53546011)(88732003)(7116003)(966005)(89122003)(498600001)(76576003)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b91f551c-35e6-401b-c479-08dbd6b48a34 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:25:27.7270 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: YiT1gTsF4N2LDhyglKgDRpwjOEEJ3b3VPpI/RK7NXeClXj+5yC88a2ZbB84Q9k1f3eZpfkNZIq5kc1cAcurXTLF6v11GUfaC0ACx4V8d9kvEsEfsHAGpFT/eAcVuOLvXgQW2gRk6rIbUPVApDcu1HgbBndlHjTTanUieJzNyBbEZePW+vTqtzxe4WSAgYyaA X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6895 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?S3FmNDh6WXdVSkpjT1dzcWRrOVZBRElpMERVTXRQZU1JbkR2V1Y3Tnc1RDQ5?= =?utf-8?B?UllueWdxSzhLdGpGaTV4U2lJQUlhcThKWGV3MzFuZUxSbm5xYnpNVU51TTNT?= =?utf-8?B?bFRTdVI2MGQvL08vWkNGeFBzbmN3RmE0UHZ6a3M3MTlBdU1nY2lrT0EyUVE4?= =?utf-8?B?NmxtblZrSGg1b0dyekthNjdiMkxyQ3M1QjZpMkh3eGNpRGR3Y1UvWEtJNzBM?= =?utf-8?B?V0ZRZmJMMVM2V0pkckJ4ZktzRDViOVp6MVhzeFNRdEE4M3A4NmdxaWVuSDVQ?= =?utf-8?B?Z2lwbXFJdTZhb21PY1dza3dvbW1nYTlUYzhwbUdBWGFDSGxLcEtzc3I1YnJD?= =?utf-8?B?TVVsS0hFWGNzbFlJY2VuN2JONVNjbVVEaTYvNzA3K05pbGZFekYzdzc1cXBT?= =?utf-8?B?QWtpM2NTejRBUjR5aUo4LzZyclFDeStIc0dhZkU1eDJwSTRZQ1NBMzBrYUkz?= =?utf-8?B?SGhoU3lQQVlyekxpc0h3Y3U0UlkxN2JmcWIrSHp5OTg5UlhvMEFTYmxrSlkz?= =?utf-8?B?dnZTZXBEekIxZ0ZuRlBwdXpoSHZGTW5XRFFkUnJKM0ZIODBHM2tObWphSzY5?= =?utf-8?B?U2lyWFV4SjVLcVZMVE1uMFRVM2pBcndNUDB3MGlwcW1QVmpVZ0lIdk9BMGw0?= =?utf-8?B?U0FKY2xiUnc2bVRqSmVNRlI1NkVMcmErRnVhU0xXQ294Nk8yYzBlM0dYTUhT?= =?utf-8?B?U3FQWnl0Tk5pdWZZTGpSYyt5RVNjRWdyN1pjZzdQbitTaXhQU1BGOXVsNVhY?= =?utf-8?B?YXNmWDA5OEgyT3llcWFtakRiY2hCaXJzQVBoaFJ3QURzYytpUXRlVVdOMzNm?= =?utf-8?B?VWRSbDVCczQrRG1aa1VNcElhTUdvRE5vZmZXaGtzZ0FUTGJQQjJmTWxQRHdz?= =?utf-8?B?aDhRUmRMWjJncDVCOTNZc0pBeVJLMjVDbWN2MDVzKzhkTHRIVzl0eFkvTVpv?= =?utf-8?B?bmJNaitUb2svamJJUFlKQnRpVjl6dXdZVnhVenh6SHBXUmNqcFJicEJrRHBF?= =?utf-8?B?Y2k3S1M1RnNKYVNGNjVJckpwM2Q1M012M2dDR1g2RTdsZmtYUVd2QXFMTnFO?= =?utf-8?B?bzVqeTZMVmp4SkhmUU9CUFNQa0xlVDZYWjdaalFjZFdMQlpnbDRiTGxvRmty?= =?utf-8?B?WTc1WExsU3ZLaUdlZUZ0UXNpSmxtV0lUWGMzejdzV3NyZUhyc3BsOUJ1eDNR?= =?utf-8?B?V2ZJUlhabis4R2h3YUs5eXlHdU5jOWRNdnRpN1U4M29JQ2FnNC9DVUNTQWF5?= =?utf-8?B?VW51R2MzN3dGOU1mQlFveVlGZmxwVWZwS2pnU0p5ZmpHTng5RjY4TEdkeCtl?= =?utf-8?B?NkVIVnZXODd6aEhia3AzWGpMRjNCdS85a2xJRkpkRnNicEZlR1JraDRCT2hT?= =?utf-8?B?K3ZWMnhzWExOL1lhZDl0ZllkSDVDZmR5US9RSzVKV1VhN3lOSzc0bDJRZGtQ?= =?utf-8?B?UFJIUlp0bjJLRUl0ZXJnM0JGZjFQWlAvb2gwS0FPblhiNVFJOGM4UlAwdnJt?= =?utf-8?B?MCsvcmJ4OSsxK21OdFZ2QjBvZHRjOEJpd3pvc01mdnFyTW9vSUpaZk5CY09l?= =?utf-8?B?TTFKdGhUcHFzRHBMeDJpQk9XMUJKTlJ6L2RsUG5uVzBESm16SzV6cFRIRnVX?= =?utf-8?B?TndUcit1N1ZrVXNLYmc1M203b0Vwd05JMU4xSGE0cDJ0dDVQZWZnbGYxeWs4?= =?utf-8?B?R1FQNDQ1NjhjMWNNSDJwWFBsR1dNMHowb1VlMC96eFNCZFJ1RXVsSjk4clBX?= =?utf-8?B?ejlNYXFKSFlKNlFHQ2pQQzVsTE9TbWV6ek1HWVpLNkxCN2ZBZk01OFdnVlFq?= =?utf-8?Q?qYcFeaaSXUQ2taTBI4lF6NHuGdf6cLd9VqrGM=3D?= X-OriginatorOrg: mq.edu.au --000000000000ebdcf60608aca75b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Ross and I were two of the 14 students who took Honours Pure Maths at the University of Sydney in 1965. My mother was Marjorie Pratt, a champion diver in the 1930's, and as luck would have it, Ross's wife is also Marjorie. G'day, mate. Vaughan On Thu, Oct 26, 2023 at 9:51=E2=80=AFPM Ross Street = wrote: > Dear Bob > > Far away in time and distance from most of your readers Max Kelly, in > Australia, > decided to make a mailing list of category theorists he knew from > conferences; > I contributed some more people. The list was typed on a golfball IBM > typewriter. > When we had a preprint or two (and once, a ``Christmas Letter''), we woul= d > photocopy > the list onto sheets of address labels, put the preprints in envelopes, > and mail them > using the reliable postal system of the 1970s. > > Once we sent the list itself around too. Mike Barr wrote or said to Max: > ``What am I supposed > to do with this!'' Max explained what we did. However, by then, word > processors were > around and Mike wanted an electronic version. We moved to that. The first > word processor > our Macquarie Mathematics Department secretaries used was called ``OK > editor'', not great. > Of course then in came email and work stations and personal computers and > TeX, . . . ; you > know the story. > > In 1990, you stepped in with prescient creations: a social medium for > category theory > and one of the very first electronic mathematics journals. > What a debt our subject owes you!! You dedicated so much to running both > magnificently. > So easy to say ``thank you'', and I do. However, with all the thanks > flowing in, our joint > appreciation should be clear. > > It is a hard act to follow. Luckily, JS has stepped forward and already > managed to have > a replacement system up and running. I have full confidence that he will > run it well, he > is so bright and energetic. Moreover, I told the little story in the firs= t > paragraph to express > my feeling of some satisfaction that the system has come to this far, > distant land. > > Surely now Bob, you will have a bit more time for research and other > things. > You deserve it. > > With best regards, > Ross > > > On 27 Oct 2023, at 1:14=E2=80=AFam, Bob Rosebrugh wro= te: > > > > > > 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 > 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 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 > distant 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/BBzTC1WLjwsg3OR4TLQkkb?domain=3Doutlook= .office365.com > --000000000000ebdcf60608aca75b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Ross and I we= re two of the 14 students who took Honours Pure Maths at the University of = Sydney in 1965.=C2=A0 My mother was Marjorie Pratt, a champion diver in the= 1930's, and as luck would have it, Ross's wife is also Marjorie.

G'day, mate.

Vaughan

On Thu, Oct 26, 2= 023 at 9:51=E2=80=AFPM Ross Street <ross.street@mq.edu.au> wrote:
Dear Bob

Far away in time and distance from most of your readers Max Kelly, in Austr= alia,
decided to make a mailing list of category theorists he knew from conferenc= es;
I contributed some more people. The list was typed on a golfball IBM typewr= iter.
When we had a preprint or two (and once, a ``Christmas Letter''), w= e would photocopy
the list onto sheets of address labels, put the preprints in envelopes, and= mail them
using the reliable postal system of the 1970s.

Once we sent the list itself around too. Mike Barr wrote or said to Max: ``= What am I supposed
to do with this!'' Max explained what we did. However, by then, wor= d processors were
around and Mike wanted an electronic version. We moved to that. The first w= ord processor
our Macquarie Mathematics Department secretaries used was called ``OK edito= r'', not great.
Of course then in came email and work stations and personal computers and T= eX, . . . ; you
know the story.

In 1990, you stepped in with prescient creations: a social medium for categ= ory theory
and one of the very first electronic mathematics journals.
What a debt our subject owes you!! You dedicated so much to running both ma= gnificently.
So easy to say ``thank you'', and I do. However, with all the thank= s flowing in, our joint
appreciation should be clear.

It is a hard act to follow. Luckily, JS has stepped forward and already man= aged to have
a replacement system up and running. I have full confidence that he will ru= n it well, he
is so bright and energetic. Moreover, I told the little story in the first = paragraph to express
my feeling of some satisfaction that the system has come to this far, dista= nt land.

Surely now Bob, you will have a bit more time for research and other things= .
You deserve it.

With best regards,
Ross

> On 27 Oct 2023, at 1:14=E2=80=AFam, Bob Rosebrugh <rrosebru@mta.ca> wrote:
>
>
> Dear Colleagues,
>
> From March 1990 until recently it was my privilege to moderate the cat= egories mailing list. For a couple of years it has been my intention to pas= s the list to a new moderator, but I was too slow to act. Changes to IT ser= vice at my former employer, Mount Allison University, abruptly made it impo= ssible for me to continue running the list.
>
> Those changes were unexpected for me, but I have been away from the ca= mpus 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 mor= e than three decades of generous assistance.
>
> It is a reassuring pleasure to know that the list is now in the capabl= e hands of JS Lemay who kindly accepted the invitation to revive it. I am v= ery grateful. Moreover, there is no one better suited to the role and our c= ommunity 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 dis= tant 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
--000000000000ebdcf60608aca75b--