From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, 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: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2101.outbound.protection.outlook.com [40.107.108.101]) by inbox.vuxu.org (Postfix) with ESMTP id 6BDF021632 for ; Thu, 7 Mar 2024 05:56:04 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Qla3ImmhjITTlAW2b21Nq/ik5EE0hnZuZkBohFXs1U/ekb0/qCTnZ38bBlTj5fjzxw+b/O3fLXAsd6GRTIkgNY3eJJtBbO3JKXlLWUmtg2h6uog/IqS8kVjjwJeVQr18b35AcSR4AxgAHIQVcxCf9cgZJOtM+T8a1TDe/3XMSZDNXrtcSL8bHz6VyUKd3TvqGGTkDjPwbR2kuArBflDLj7yfiI0vFuwXCFtzBuURLEJvZDxEdh6M6c6VdYF0F/hHEhuA1fheLjI53gMaOB6pls2b1tfyny9JkTrsabdduFr18BqvOrJsFq+rdPkob31mabuYeOmbPpRhOL/DlrC/yw== 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=kSvx8WORLUL55nCNcGAsQedTJFLzDRDk/grDO0eBtGk=; b=amHDcgaw0pmpXvkeGKsRKfNxzF00XSAPYn9t2KZfhXXs7pPrBArE3XCsXgAB6sQdeb+FPwgyHCNjPj+oiZ0UDEVwY+LWwQBd4E6TcinZcKf9in2gZ7IddF8URgGxPJ5leRRpA9tvLExmvHRjdfV9gmjSZVo0Sdkyx8jVJd6wqevaUtHidPVxbpQrTxhxGzt2FkieroMo+al1S3Bqjrjry5v9fVQx9Hr9q+ikbQwX9oTagYDt/rqeSZHtGjjJNhW8j+jlOAdJt60mPc1jeeiVVfJ/PK7I7nanTOFU7a3H7rK9ImVuo1Kx/Yv7hQCV/Xs+vqgnYi5nHlbOIokqPQ5hhA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.41) 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 (signature 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=kSvx8WORLUL55nCNcGAsQedTJFLzDRDk/grDO0eBtGk=; b=B4FGDspQ5OmUXK4Hx5kageY/uvCHyLoi9VLfQZ0wyGWL9+iGDVgw9NEAc29ImBwuiLuz3gbfeE4kfZ2guS//+q8ZkTp3hXTN6FR+/ByTFxtgAkEWEjlS1uAx/hPZVIsRBWZpamm4g777bSSYDPKkEVqDsUcdi5rXOLQFTAHHslmLZ7R/jzMBmLcOGMTAkSng18sNgmxD1OdEqmR74KADFGzF9FmAybwLGZpj3Jcy2544q+bvISj895HNdT6c7NqOprSi49r9FN/UxBGcGiPuo8L0QMt4Tb6CF43q64JZMnIgboIfSj84jLVizYCxKUvBKlw0y8nBeCkgy3WVA7ANSw== Received: from SmtpServer.Submit by SY4PR01MB6122 with Microsoft SMTP Server id 15.20.7362.26; Thu, 7 Mar 2024 04:56:02 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HNieiWuuPeNSCsKzkT2MQa9LgzyVF65vicIyWrjtH22728YzrkAkCFU8o6LFbLnLdwuUcovsKv4TYZkGF5UmxLhI6wrb2sPj1QmL1JQHqCT5wzAsKRqerONKEeG61+HKLnZWDXYi8F4usH8gs/Mi3KGysQB3Wk4o2E4yAfOlR0yozSZPOHd2XdTIGX3RshtwNP+3l/HydD82vx9wzdsvP2y3S5HpRTsJw94cUSvUZZJ6CgNWgWjmeYyw3D66SVCjgHTpA+Wkp53d8IOu2bPKkY5BpuNGIq3DZb4/jITo3txPNS6ODAPVFc/oqVSlAH6BBjfngLiViErKzei8k5aDLg== 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=kSvx8WORLUL55nCNcGAsQedTJFLzDRDk/grDO0eBtGk=; b=mINdUjhXX1C8sWG+RF8UXXcoH3ZhLght+R6RcjNvNd3lzaIvjGZa/eWZsyT7gp+s81zCLwUFAxhuSSkFEfR9uKQN8CPAVGdEc9Q+td6VHynr6byYYT0yZV8Uo6P5C5arFCnnece6Y29Sfh28leQo/qOCX+689DndKO/I40E3pfxZrkO+lR9bFrFajsWaIKD3v866jJxegjoHbFoHuAz22MYC53B23Si30Bu+EOZ68FDX7o5eHakMK/Kx7fclmb+noYNnU1VLxEhOQh/gGA/EJehyI5SeWa9hKpwDLeBWctQRCYIR9ClYHB7wRrNGQvHiFWLZVWAFIiliOQcReMYdPw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.41) 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 (signature did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6906.ausprd01.prod.outlook.com (2603:10c6:10:13d::12) by SY4PR01MB6122.ausprd01.prod.outlook.com (2603:10c6:10:f8::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.26; Thu, 7 Mar 2024 04:55:57 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by SYBPR01MB6906.ausprd01.prod.outlook.com (2603:10c6:10:13d::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.26; Thu, 7 Mar 2024 04:55:53 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e%6]) with mapi id 15.20.7362.019; Thu, 7 Mar 2024 04:55:53 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oVkV5eW3in582iJUGK52zsfKODL9SNf0jGgMWES7Yadzn0IkdJzF8ElE6Tg8Ht1Oig0SjJvj1m6U1TGMZjy/DvHGMcErxH0MYiedjH2fHxXO/aPjDJAXh1ICQZDpyekIJsQ4inzsq0RmG/p/mAimgyFduCHhKc7T5QMwUX2CSqUdDcZ78lzmmXlWAEhvhb/NmEPsvStxrlBaByB5RPgtQtmQuPvTmG2vqtdwdncl2g27AJWWPzh14kRpT4IM654VQAShWv0E1G1hkXOvxiK9xrk8P2+lrbeMZcsCBL1Xxxjc6V/3zo9zJGXzmqgz9ZeDOjsYu0rYUpp/QMamcAC8Qg== 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=kSvx8WORLUL55nCNcGAsQedTJFLzDRDk/grDO0eBtGk=; b=kF5FX6MxgjO0LjxrOwilgLYnqVOYQybpp85ETH60cu+fcNj9qAbEKWHPjBvfCV3WdBHE/GSuSaSlhG24tzcEEmAWJSZUsvq70hNwrkD2icPlU9c+n9IMfita0ez6WcKjKFfwnQsZYp+Kew+lgVlWCJRowrGTYC+r0/yt74Sj0N+fVYHZlx/vaPDAhfPSRd3RbDXm47K3tk1tuXB61GGX76AZTkCyZkdGdpRRI4HEUPamEZHiO9C4SULAeejfd4AydPdU6DbmdgVGi/gVt+IFgZVYqakmiwSl7TidZ184rBLfNPvi842TU9ykdByU02ZP7XdYf0yDKBt7E24yg3Qapw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.128.41) 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 (signature did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01CA0038.ausprd01.prod.outlook.com (2603:10c6:10:4::26) by ME3PR01MB8308.ausprd01.prod.outlook.com (2603:10c6:220:1b0::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.26; Thu, 7 Mar 2024 04:52:13 +0000 Received: from SY2PEPF00004FF3.ausprd01.prod.outlook.com (2603:10c6:10:4:cafe::eb) by SYBPR01CA0038.outlook.office365.com (2603:10c6:10:4::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.26 via Frontend Transport; Thu, 7 Mar 2024 04:52:13 +0000 Authentication-Results: spf=pass (sender IP is 209.85.128.41) smtp.mailfrom=gmail.com; dkim=fail (signature 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.128.41 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.128.41; helo=mail-wm1-f41.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY2PEPF00004FF3.mail.protection.outlook.com (10.167.241.5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.11 via Frontend Transport; Thu, 7 Mar 2024 04:52:13 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1709787133; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=kSvx8WORLUL55nCNcGAsQedTJFLzDRDk/grDO0eBtGk=; b=cds0YzMeC/nrdpTu7d75yBhiM4SHRwhHLZg9DoHn1SaFzM0ATx5MCiyww3odhsusTFIx1O WDSPuuukZBePMSW1W/MLUXz0puHNVFZcLfDI5i6I1/G4bOq1ZKPonKza6iSrAnUVy+zlEE gojeZI5tpnzZUxJ98VpCSYyuM/vAey0UmaNgykABIWAKpARl6sPJ89KFOtV7Z3DbpkopX4 RWJ2V+9nTJD4dLFByZkAuMyZSZZ17u51a7pFrIPcjsfkUVAxAS0D8odZ4LBtASjXm/O78+ B+oJA54tzSUPEs9VTSMhruoeXZLNePu7wZ8hcUYogczPalrqdlsmGDU0392NYA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1709787133; a=rsa-sha256; cv=none; b=aYXoKXB2rruUUXoHVOvWRZ7jKcyJGonGknxJQXnOKHS+SqQL2tztylmzAdAyBiIoTsNcK6 tR5V4aY+Azi8Tl48BRB44UFTPt8600Zjwsd9wiMCRlZpdeJ8NhCq/zLrh5v7u860zrapeR vc1uaqbaCvKRj1MhrICpLSfK03OWgmawvOTwpHNEpkxIrijdAi5OS69gOGLGiAvZlkAgPC qlg6jqwYhDCDE31ls0wZ5iHNeiTXtmIHokIOLr17sE+pfMI1Ft8uCvzd8vuC4N3oJxuMGw HnLgrxolfzContxJWuvVBTIEucnHxzoe/GUnTk349aKPQtQkCnz1tG5FnZKXfA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=PuM3oZTE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of tadeusz.litak@gmail.com designates 209.85.128.41 as permitted sender) smtp.mailfrom=tadeusz.litak@gmail.com Received: from mail-wm1-f41.google.com (mail-wm1-f41.google.com [209.85.128.41]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-64-VWiFH1MNOheELfTvWgu6qQ-1; Thu, 07 Mar 2024 15:52:10 +1100 X-MC-Unique: VWiFH1MNOheELfTvWgu6qQ-1 Received: by mail-wm1-f41.google.com with SMTP id 5b1f17b1804b1-412fe981ef1so2490295e9.1 for ; Wed, 06 Mar 2024 20:52:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1709787127; x=1710391927; darn=mq.edu.au; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=rMAgP2tkvtWqW2xVfdHfkNbvc670LdcEA3VBthR0UwQ=; b=PuM3oZTE24vMNBFo5YC69uqRPJ2GtCMHLMLHXM2uK4GjqPjOTPNvROc7//Hmevwocj FcNum1D2YitUx64yc0Qz8Wu8izbU5CNS7XYwoBLX/14qIfsvJ3oOHzA7/WydizarbX3z Kb8r50qr/2l9eOTgOQGkeS19NuKkIdtrewfqG3x1pcACHlp3s42FntKQPHFYZZWUd9qf RQajyotnFwKoBYZPcJfw5+K2Vso4zymHMRDPjKg+PhOKllOte1E+s0l+b2/iUamlFfD7 DGRqB9hu+3n5yXnV0gXlv7GNNhY1ZRZv4icaJhIxHjyZGtENtS7HIlZvzmKEwHycQ8kO kYEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709787127; x=1710391927; h=content-transfer-encoding:in-reply-to:from:references: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=rMAgP2tkvtWqW2xVfdHfkNbvc670LdcEA3VBthR0UwQ=; b=EjafWy+FnHZjcPUgvMgPSjJdd05hAIc3ziD7L+NwxfZzUVNq6NaY+hM/luNYaegZn5 1wDHCjePXCv76NAKwrfVfYWz9RMcS4B3znvlmw3JNEIuekXtygvsTJ9V4vr8aYX8RUKE Nh8c6/OqOkI6pscTF2Y/QaeJukzfrtaaBiA6zlCrDB3W3hgWNeHbDJLDAaarTyWtm9ws UbQr4cgc5hLq2Ks+W0ws2Cp+aLVh3HGZ1TlELD3Pc7ex6AuBzimW7nOOzqu4f067tLPQ yyXxRBeEdqQ7qnc94fnsAjGC4rh7TsMsdYkTFqYSqICzD+ABC9wKKHyAOiY5zAfApbyU QdPA== X-Forwarded-Encrypted: i=1; AJvYcCWlE0yY4JLH490MA/0VCUsh5sBAYBtVTPCMwNW+a9jHFVediBAf8r6rVWtfSzxqvgeM6orPLFqovKqMUgz4bKQ1sRBDOw== X-Gm-Message-State: AOJu0YwdBY//rLpeLFRBl3A8ZPDpTgw73MruO8ftJcMqcd8iI28swXwQ wGcvrxqJ7Cv1uT/CogJXj0niRYEqkbfSmjHK6rR2+NBBu2Y1PjO+Rcmc5riX X-Google-Smtp-Source: AGHT+IHrYeTdksHtZ2hIYBSbj8ydmIOqzIh6C3v5nlJVa9oF9uQUSWENh5a/EagTGceA7hiWjWAXvg== X-Received: by 2002:a05:600c:35c1:b0:413:119:3173 with SMTP id r1-20020a05600c35c100b0041301193173mr213925wmq.1.1709787127184; Wed, 06 Mar 2024 20:52:07 -0800 (PST) Received: from ?IPV6:2001:9e8:ab60:ba00:a84d:46a0:4c4f:f39b? ([2001:9e8:ab60:ba00:a84d:46a0:4c4f:f39b]) by smtp.gmail.com with ESMTPSA id s16-20020a05600c45d000b00412f016a151sm1243190wmo.9.2024.03.06.20.52.05 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 06 Mar 2024 20:52:06 -0800 (PST) Message-ID: <112d761e-98ad-4a3d-ae52-94de1657ebaf@gmail.com> Date: Thu, 7 Mar 2024 05:52:04 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Marek Zawadowski To: Robin Cockett , =?UTF-8?Q?Karol_Szumi=C5=82o?= , "categories@mq.edu.au" References: <65E7BF75.3060804@fuw.edu.pl> From: Tadeusz Litak In-Reply-To: Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=PuM3oZTE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of tadeusz.litak@gmail.com designates 209.85.128.41 as permitted sender) smtp.mailfrom=tadeusz.litak@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=true;Mimecast Threat Dictionary=true;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12403071552120931" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.128.41];domain=mail-wm1-f41.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.128.41];domain=mail-wm1-f41.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY2PEPF00004FF3:EE_|ME3PR01MB8308:EE_|SYBPR01MB6906:EE_|SY4PR01MB6122:EE_ X-MS-Office365-Filtering-Correlation-Id: 68456008-0d43-44a3-0e19-08dc3e625b25 X-Moderation-Data: 3/7/2024 4:55:51 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: QQf8lmk7cP3wo8I1gtIIYtOuGaqsXSPmTH2hCDnGUtJVqrLL5p479W0viUi4uO4aYSUey25OP+tCwFutHdO+sy8k7Txzw0bGvCAWEF+UTUjHtEcbeXENUJVVGRsagKhMMcNR3ih7I0ztX86kosTJ7DMbcwuiqDUMo6OT85UC0WNBKQgzquURd7C1XNXfWe2DbA094OAdTpcLZG1kXPWAvH5S1ZSIWYuiiX/5al8cdDqy7cbPljpeTFbV19RAqJ4jHylS2Kma0oeAf6TnV3tKMoZ85dpwb3k78lOHfGknWvZGVRnsSc9SqndXFLdwIiywbLnB7pRMZTyPq2luO+UH8VWAij5Wjk9DD38kAr1PCuRywbrnrz+Q6QckEpc8X1pwA9kaN1B2JZ8NBAhxyvRZvUVkWMmGHgSCTlldMVOVnMW+YksfYegcsxq7pqs2GqjeuFRMWU+k/GhpB4tzV/dGAEFwgR7o3Zd9FyREO6FqaDtbD9WJdEK0faHJl2GIfjRFGIWGA+GP6KgM0VPl4nPranO7rAc/Oeqk+WS32kLQoNGlTHVfuS/4GVJ33bZY53n+/mm8eDikBLOsoevAE/agBRDQYmEttbWA2RHbT1FCv9CV2jrnNyo/bgavL8fgusBZk8+V0jKRDNTyaeRmnsAp4EDTTPURANoU42+Gsk88cdOHvZpuLK1ybmF+1dgDKNzM3NXFozHLUE2899BB/zYa3zFm6/JJk7YxaGstpuhm+lwoikxd8tetTQbQGDi4lyAcg6Be5UJbaOHeiTH9ig7v/10qVD81ycNn20If3uI3gH3YkevkwgSW1yvkV+b1zHYf7KTqSloNT8crKl6BMa9ym/Wal4rPpQaoTSY7vWGWzrc= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-wm1-f41.google.com;PTR:mail-wm1-f41.google.com;CAT:NONE;SFS:(13230031)(35950700004)(82310400014)(376005)(32650700005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 68456008-0d43-44a3-0e19-08dc3e625b25 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY2PEPF00004FF3.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Mar 2024 04:55:53.7137 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: eFhQWICgQ8s/JK8YStcTOhiihT/5EeRHyDSp/9Y66mdRtziN6349CA6dso/gHq3fxi7AvxOr72HG8q8CzRYFvNybn7aktMgiUASnX+sHkS/pfNHgzZWaxzPrmlXoqRyuJaFI+jcYkqzQl7MAIDOuI2YLPY/wU7vXilrZVyHfGab1JwOVbgaKXeuWh3+Kj5kC X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB6122 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: <112d761e-98ad-4a3d-ae52-94de1657ebaf@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?aUl6ODF2d2NmK0pSSElJaGRZUDhJUC9QUlVldGQyenhucmhYTk1kL24zUEd4?= =?utf-8?B?OWx2QU9EQ2ZpSm9xZFQxM1JHWUpkV2NYTm1kQkppSGVzOHhZOGIyUFE3d0dy?= =?utf-8?B?WVRNRzRNU2FCQ1dwOGk0ZUQxeEwwbk1hVkdTSFlhbFlGOWFZbm5VRGtxZXI0?= =?utf-8?B?a0RBZW11b2gza3FuZjVtK1pOQm1NMGpiVTVkbk4vZ3ZQbjhsTUFSME9ab3lV?= =?utf-8?B?Unpta2ZTdk9MK0VFWnlOTElmZ01YZkRsanl6b3ZXK29FYUxCeUFleklMYWJj?= =?utf-8?B?S1c1ODhQNHNJYXF3MTdnWDlwT09wcVNvR0pYbTk0Q0JkV1QxT3JjYUt1VjBM?= =?utf-8?B?ZjIyWkFneHhmZjY0UFVZMzJkT1JUU2VVVEthQ2xhQVZ6UUZMd29xcnoyWG9O?= =?utf-8?B?ZWpxanhwdHdzSVBiKzQyVXB6WCtnRHVIazJrYStsL0lFUXVrK2RrclN0MUFK?= =?utf-8?B?MlV4MnNSaTFDclRqOGJUTTRyd0tmcUJyRFBaQUYvdGZnNzYwa2hubVN3MVR2?= =?utf-8?B?ck10TTVxUUhMYU5hTHZ2OVZqTnA4cUtvaFhrOExFSXRDQ0xVUDlSTDN2aEMr?= =?utf-8?B?ang4TVhTNWEvUzRCUGRaa21CeFdZWEp6TzhsZXpteVF5WTZQVlVTKzhnblFq?= =?utf-8?B?NUlwblI1RkFuRmlRV1J0cStUSlphdHR3QVBzNnRPclQwMzFkMEJaSCt3MW92?= =?utf-8?B?YmRKb2Y5ZHlBUWhwcGpOSFNmSUt1cWkwd3JuaGp5aDRHNUp2amhlUnhZWGRY?= =?utf-8?B?K2o2RmI2RE1qMUkwV2xNUnlxV3FZL1BVZVpEQTY3VGg1bTlscDdocU5hNXcz?= =?utf-8?B?VWtkSUdBR1paZmpodUNMb0I4OWE1S0VqbXVXMHlVVG1VNDJibjQ1bnJUeUhk?= =?utf-8?B?djIvZFZSNmcxVjArcHlocmV3dkUwaGtIL3lzUldUbW0zZHhoOGRnOHhIRENP?= =?utf-8?B?MHFUVnM4Uk5hMnhXZGJVQVcweU9XWkFDWkgvaFhYNWNxODRUY3ZEenF4Yk1v?= =?utf-8?B?Ym1TYXV6dlNoOUp5anFtUGlDSFJsT1orL25mRTFSQ3Fhbm9vejZMVVRZYVRG?= =?utf-8?B?VG5aZ213elZRT0JVVFV3ZUVEczNhOG1jNUQ2WkorNzA0T3hxRlJTM0loMzVk?= =?utf-8?B?YkZoM0NXY2h6UEM2MndIbVVIekZDOWZTUVJFSjl0THQvZVJKWkJCdjFqNkh6?= =?utf-8?B?U21pOXBYaDhrelg1Zmd0dHJPQ3NhQWVzbG1hRjdBVVh1UTRSc0luTEhRQmVY?= =?utf-8?B?dWh0NnMyVVNPSjYxQ1ZnZ1R2VmsxaDlDdGVQMXI1dmhRMElGUThjTGVEVWFB?= =?utf-8?B?RmR0V29XaDhLUitHUGdDNjlTSlF4NDRiekxYTnN6SktzR1dnQzhueHNCQ1ZO?= =?utf-8?B?NWkrY2FKL2dWcWtrQkFIQU94TzdRSGU3Q1lqTEdHdjNiOHN3blVmdzlNb0tG?= =?utf-8?B?ME1wRWhsSjBQSkNYT3F1QkdpWGlXVy80ZGd3VnE3UEJzd0RuSkF3b0E0d2Vt?= =?utf-8?B?cCtIL2tVQjAvWm9zeFJ1SmFKdkYrclpWeklGUjhnYnUxZTRnZUg2YlpzL1Rs?= =?utf-8?B?alVaRUFwZjcwQXdFTFpxUVNzT2lmSktzaEpYMWx6c1MzY0RHR0lPMmxlMjc3?= =?utf-8?B?V2JGdm41cTMzWmt5enJ0SkNOb2Q5R2NCcWxqWmpIUkpCSllUVk4rUUlLVUd1?= =?utf-8?B?dER5SkhIOEZxWEZVZkhPV1JoQ1FwSVRTZDhyTjhIWFFIaCtBMzdvUzYvWU5X?= =?utf-8?B?WGlNU3N1TUc5ZzdLdHhKY0ZpZ3lmdERyYmFwSEVuVW5qbXlub21GQ0IydVFk?= =?utf-8?B?ODIzYUVXaDNiblcrcktkcksrQTZ0enAwQjBISWJ2R0FZZmVXZExKc2tsd0t3?= =?utf-8?B?L3JpeXJNRFl4b0F4U096QVhXM0ZFenJWcjYvYWxJaEdnZmZGb1NiZWMxTmlR?= =?utf-8?Q?Oavg0LldvZ4zPUhM19BgdeLC17CmTBHj?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403071552120931 Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable I'd like to add to the condolences with my own recollection of Marek (and, = less importantly, correct some mistaken=20 claims in Robin's email). Ironically, I only met Marek after I left Poland for good, in Tbilisi 2003,= at the first edition of the TANCL conference=20 (later known as TACL, with "categories" replacing "non-classical logics" in= the name). The first immediate impression=20 was how youthful he was, in the best possible sense: both physically and in= tellectually, despite already being an=20 accomplished researcher. Having heard that there were other Poles at the ev= ent (Tomasz Kowalski and me), he immediately=20 descended upon our room, inquiring how many slides we had prepared, and whe= ther we thought that the scorching heat=20 outside would reach 40 degrees that day... Within less than a minute, you k= new that this was somebody whose excellent=20 intellect wouldn't get in the way of good fun and good companionship. And t= hat worked splendidly at that conference. I also saw soon with admiration and relief=C2=A0 that he was unwilling to r= espect artificial borders between fields. We=20 should admit here that the relationships between category theorists and log= icians were sometimes complicated, and as=20 usual in such cases, both sides are probably to blame. But Marek was among = those researchers who couldn't care less=20 about any sectarian divisions. His joint book with Silvio Ghilardi on "Shea= ves, Games and Model Completions" is a great=20 expression of this spirit. Even very (apparently) inherently syntactic resu= lts turn out to allow duality-based proofs=20 using their methods. While in the case of uniform interpolation for intuiti= onistic logic or L=C3=B6b logic semantic proofs=20 using less overtly categorical terminology were found independently by Albe= rt Visser, the potential of their framework=20 still needs to be fully explored. An excellent example was provided recentl= y by Silvio Ghilardi and Luigi Santocanale,=20 who showed how a (seemingly impenetrable) syntactic theorem by Wim Ruitenbu= rg (JSL 1984) on finite order of=20 intuitionistic formulas can be proved using methods of that book. But one cannot discuss this or anything else with Marek anymore. The only w= ay left to learn from him now is by reading=20 his papers. And ancient philosophers often suggested that this is an inferi= or method of learning from masters. Now for correcting Robin's claims: > Helena led an effort to keep Polish mathematicians and computer scientist= s in touch with their western counterparts despite being part of the soviet= union Let me point out that the Polish People's Republic, while certainly being a= n unfree, oppressive and poor country,=20 equally certainly wasn't a part of the Soviet Union. Had it been the case, = Robin, you would have been paid in rubles=20 rather than in z=C5=82otys, for example. The differences went deeper. Unlike the Soviet Union, the "Polish People's = Republic" had powerful individual agriculture=20 and Church not controlled by the state. An independent trade union like Sol= idarity, boasting at its 1980-81 peak more=20 that a quarter of the entire population as its members, would have been dow= nright impossible in the USSR. "The Eastern side of the Iron Curtain" and "The Soviet Union" were not equi= valent notions, even if one could hardly=20 speak about sovereignty either (can we speak about it these days?). I don't want to go too deeply into present-day politics, but perhaps this c= an explain the difference to you: presently,=20 the Western world is militarily, economically and politically controlled fr= om Washington. It still doesn't imply that=20 Calgary or Warwick lie in the United States. Even though the language is th= e same (which isn't the case with Polish and=20 Russian; in fact rather few Poles spoke fluent Russian even back then in 19= 86, despite the language being officially=20 taught at schools...). > Lech Welesa was in prison at that time. Actually, this also seems untrue, unless you got the date of your visit to = Poland wrong by five years, and even then it=20 wouldn't have been fully correct. In 1981-82, during martial law in Poland,= Wa=C5=82=C4=99sa was interned in Chylice, Otwock=20 Wielki and Abramowo. These weren't conventional prisons, as the authorities= tried to convince him to create a fully=20 controlled neo-Solidarity at that time. It didn't work out, Wa=C5=82=C4=99s= a didn't commit such a spectacular political suicide,=20 Solidarity remained officially outlawed until 1986, but Wa=C5=82=C4=99sa hi= mself got released in November 1982. There were still=20 some opposition figures and numerous regular activists who ended up again i= n prison afterwards (Bogdan Borusewicz,=20 Bogdan Lis, Zbigniew Bujak, Adam Michnik, all released by amnesty in Septem= ber 1986) or were in hiding (Kornel=20 Morawiecki, Andrzej Ko=C5=82odziej). Perhaps you confused Wa=C5=82=C4=99sa = with one of them. This is not such a trivial historical point. Imprisoning a Peace Nobel Priz= e winner was not something that the=20 half-corroded regime, with little popular support and with dramatic need fo= r foreign loans and investments, could afford=20 at that stage. Ordinary people were often risking more: if you were caught = transporting opposition materials, for=20 example, even if you didn't end up in prison, you risked at least your car = being confiscated. You can't imagine how many=20 years it took to get a car at that time, if you were ever so lucky. And no = BBC or Radio Free Europe would protest on the=20 behalf of some unknown dude or gal. It would have been easier for security = services to beat up or sometimes even kill=20 somebody without a high profile, not to mention "trivia" like losing your j= ob. Anyway, regardless of any infelicities, thanks for this interesting recolle= ction! t. > The first experience of Soviet life (in winter) was to discover that the= communal hot water did not work as pipes from the power station had burst = (actually no one said what happened or even would admit that the system had= broken). I recall Helena -- the realist -- making arrangements so that p= articipants could have a bath in another quarter of the city. > > At the end of the meeting I still had a huge amount of zloti so Marek too= k me shopping. This was an interesting experience as it consisted of join= ing queues to find out what they were queuing for! Needless to say I could= not spend all my zloti so I ended up giving them to Marek. I learned tha= t university staff were not really paid a living wage so these perks (and v= isiting positions in the US -- often brokered by Helena) were essential. > > I was always delighted to see Marek at (Category Theory) conferences and = will greatly miss him. > > -robin > (Robin Cockett) > > > > > > > > > ---------- > > You're receiving this message because you're a member of the Categories m= ailing list group from Macquarie University. > > Leave group: > https://url.au.m.mimecastprotect.com/s/YxHbCOMK7YcVrQRkHEaYca?domain=3Dou= tlook.office365.com --MCBoundary=_12403071552120931 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 I'd like to add to the condolences with my own recollection of = Marek (and, less importantly, correct some mistaken
claims in Robin's email).

Ironically, I only met Marek after I left Poland for good, in Tbilisi 2003,= at the first edition of the TANCL conference
(later known as TACL, with "categories" replacing "non-class= ical logics" in the name). The first immediate impression
was how youthful he was, in the best possible sense: both physically and in= tellectually, despite already being an
accomplished researcher. Having heard that there were other Poles at the ev= ent (Tomasz Kowalski and me), he immediately
descended upon our room, inquiring how many slides we had prepared, and whe= ther we thought that the scorching heat
outside would reach 40 degrees that day... Within less than a minute, you k= new that this was somebody whose excellent
intellect wouldn't get in the way of good fun and good companionship. And t= hat worked splendidly at that conference.

I also saw soon with admiration and relief  that he was unwilling to r= espect artificial borders between fields. We
should admit here that the relationships between category theorists and log= icians were sometimes complicated, and as
usual in such cases, both sides are probably to blame. But Marek was among = those researchers who couldn't care less
about any sectarian divisions. His joint book with Silvio Ghilardi on "= ;Sheaves, Games and Model Completions" is a great
expression of this spirit. Even very (apparently) inherently syntactic resu= lts turn out to allow duality-based proofs
using their methods. While in the case of uniform interpolation for intuiti= onistic logic or Löb logic semantic proofs
using less overtly categorical terminology were found independently by Albe= rt Visser, the potential of their framework
still needs to be fully explored. An excellent example was provided recentl= y by Silvio Ghilardi and Luigi Santocanale,
who showed how a (seemingly impenetrable) syntactic theorem by Wim Ruitenbu= rg (JSL 1984) on finite order of
intuitionistic formulas can be proved using methods of that book.

But one cannot discuss this or anything else with Marek anymore. The only w= ay left to learn from him now is by reading
his papers. And ancient philosophers often suggested that this is an inferi= or method of learning from masters.

Now for correcting Robin's claims:

> Helena led an effort to keep Polish mathematicians and computer scient= ists in touch with their western counterparts despite being part of the sov= iet union

Let me point out that the Polish People's Republic, while certainly being a= n unfree, oppressive and poor country,
equally certainly wasn't a part of the Soviet Union. Had it been the case, = Robin, you would have been paid in rubles
rather than in z=C5=82otys, for example.

The differences went deeper. Unlike the Soviet Union, the "Polish Peop= le's Republic" had powerful individual agriculture
and Church not controlled by the state. An independent trade union like Sol= idarity, boasting at its 1980-81 peak more
that a quarter of the entire population as its members, would have been dow= nright impossible in the USSR.

"The Eastern side of the Iron Curtain" and "The Soviet Union= " were not equivalent notions, even if one could hardly
speak about sovereignty either (can we speak about it these days?).

I don't want to go too deeply into present-day politics, but perhaps this c= an explain the difference to you: presently,
the Western world is militarily, economically and politically controlled fr= om Washington. It still doesn't imply that
Calgary or Warwick lie in the United States. Even though the language is th= e same (which isn't the case with Polish and
Russian; in fact rather few Poles spoke fluent Russian even back then in 19= 86, despite the language being officially
taught at schools...).

> Lech Welesa was in prison at that time.

Actually, this also seems untrue, unless you got the date of your visit to = Poland wrong by five years, and even then it
wouldn't have been fully correct. In 1981-82, during martial law in Poland,= Wa=C5=82=C4=99sa was interned in Chylice, Otwock
Wielki and Abramowo. These weren't conventional prisons, as the authorities= tried to convince him to create a fully
controlled neo-Solidarity at that time. It didn't work out, Wa=C5=82=C4=99s= a didn't commit such a spectacular political suicide,
Solidarity remained officially outlawed until 1986, but Wa=C5=82=C4=99sa hi= mself got released in November 1982. There were still
some opposition figures and numerous regular activists who ended up again i= n prison afterwards (Bogdan Borusewicz,
Bogdan Lis, Zbigniew Bujak, Adam Michnik, all released by amnesty in Septem= ber 1986) or were in hiding (Kornel
Morawiecki, Andrzej Ko=C5=82odziej). Perhaps you confused Wa=C5=82=C4=99sa = with one of them.

This is not such a trivial historical point. Imprisoning a Peace Nobel Priz= e winner was not something that the
half-corroded regime, with little popular support and with dramatic need fo= r foreign loans and investments, could afford
at that stage. Ordinary people were often risking more: if you were caught = transporting opposition materials, for
example, even if you didn't end up in prison, you risked at least your car = being confiscated. You can't imagine how many
years it took to get a car at that time, if you were ever so lucky. And no = BBC or Radio Free Europe would protest on the
behalf of some unknown dude or gal. It would have been easier for security = services to beat up or sometimes even kill
somebody without a high profile, not to mention "trivia" like los= ing your job.


Anyway, regardless of any infelicities, thanks for this interesting recolle= ction!

t.




> The first experience of Soviet life (in winter) was to discover that = the communal hot water did not work as pipes from the power station had bur= st (actually no one said what happened or even would admit that the system = had broken). I recall Helena -- the realist -- making arrangements so tha= t participants could have a bath in another quarter of the city.
>
> At the end of the meeting I still had a huge amount of zloti so Marek = took me shopping. This was an interesting experience as it consisted of j= oining queues to find out what they were queuing for! Needless to say I co= uld not spend all my zloti so I ended up giving them to Marek. I learned = that university staff were not really paid a living wage so these perks (an= d visiting positions in the US -- often brokered by Helena) were essential.=
>
> I was always delighted to see Marek at (Category Theory) conferences a= nd will greatly miss him.
>
> -robin
> (Robin Cockett)
>
>
>
>
>
>
>
>
> ----------
>
> You're receiving this message because you're a member of the Categorie= s mailing list group from Macquarie University.
>
> Leave group:
> https://outlook.office365.com/owa/catego= ries@mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessage&action= =3Dleave&GuestId=3D59cb4a6a-803b-446b-9399-80b52444e62d

--MCBoundary=_12403071552120931--