From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.23.67 with SMTP id n64mr827791lfi.0.1513941501022; Fri, 22 Dec 2017 03:18:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.4.83 with SMTP id 80ls396384lje.12.gmail; Fri, 22 Dec 2017 03:18:19 -0800 (PST) X-Received: by 10.25.18.20 with SMTP id h20mr839890lfi.36.1513941499418; Fri, 22 Dec 2017 03:18:19 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513941499; cv=none; d=google.com; s=arc-20160816; b=quFSHE1M210mBsqkGClh+milczSeQfyBCsclF7f89QfTecaPrk65BRj8afEA2KV8S/ 2gqqLlTB4Pq1YLpwvZhDnw63wID5hG3np++1WE4HPS+njgznGZDgaEZl/S+ACaupXU8Y G9H26FVc7WNJ4FxNxVh827OwjVjZJGB8UfmrqzhOZHEYUjQ5rCa7NUl0Df10ghPr5pmP cJO878x1MKr0KxhvRclsVR9j/LBjSOwD66L94eGX7WYCTBnYH50QmRHYPvEbLpyZKYfj I+AA6oNa7gPDBGKaTRFfnzbFfw34IoA3kmcNtLArspFCwX/0WfaGxgOR3wirygxcHneD kpbg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:spamdiagnosticmetadata:spamdiagnosticoutput:user-agent :content-language:accept-language:in-reply-to:references:message-id :date:thread-index:thread-topic:subject:to:from :arc-authentication-results; bh=Zx+ydvdPp5lIMIcv6/WuSgR5MPzsGiU4cO0OnQRzFos=; b=Rajyl3a7sOUhxysIXa5tY9ze3KavTEd271yM/EOr7V3ctyb6aJt4nYX01xIovk2c+6 EXlCbRLkwTXGRlqRDBgD36H9kjkPtotDUdCV4IGjSV9oOV4bDW1LkzOcZa1mcCb1Xjsd UV6j+adyBi/7z4pV6oleH3gABhx1vpQ6M6aCs306CfD4TUt/BpdhgFu2PZRxtmYnAaOD bDuCAhT6PSm+u3wYslPX5st3EZ38aiVYNNNU0vmSvOqdD1EbYccTV3Hc1AKezm1rcqW5 mEI5KMPh5pHgrrDRaxFG7FjBozyA7VI+i8SkTsGmISwMhwLA6DI4Rh/5azVKcPgNLNZF Fj2A== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Return-Path: Received: from uidappmx06.nottingham.ac.uk (uidappmx06.nottingham.ac.uk. [128.243.43.129]) by gmr-mx.google.com with ESMTP id q77si1741849lfi.1.2017.12.22.03.18.19 for ; Fri, 22 Dec 2017 03:18:19 -0800 (PST) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) client-ip=128.243.43.129; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.129 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk Received: from uidappmx06.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 07B3841C200_A3CE9FBB; Fri, 22 Dec 2017 11:18:19 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) by uidappmx06.nottingham.ac.uk (Sophos Email Appliance) with ESMTP id A790332438D_A3CE9FAF; Fri, 22 Dec 2017 11:18:18 +0000 (GMT) Received: from uiwexhub03.is.nottingham.ac.uk ([128.243.15.146] helo=UIWEXHUB03.ad.nottingham.ac.uk) by smtp4.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.85) (envelope-from ) id 1eSLLG-0002qO-L0; Fri, 22 Dec 2017 11:18:18 +0000 Received: from EUR01-VE1-obe.outbound.protection.outlook.com (213.199.154.244) by mail.nottingham.ac.uk (128.243.15.146) with Microsoft SMTP Server (TLS) id 14.3.351.0; Fri, 22 Dec 2017 11:18:18 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com (10.165.213.15) by DB5PR06MB1719.eurprd06.prod.outlook.com (10.165.213.17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.323.15; Fri, 22 Dec 2017 11:18:16 +0000 Received: from DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::51a3:6727:473b:460e]) by DB5PR06MB1717.eurprd06.prod.outlook.com ([fe80::51a3:6727:473b:460e%14]) with mapi id 15.20.0323.018; Fri, 22 Dec 2017 11:18:16 +0000 From: Thorsten Altenkirch To: Matt Oliveri , Homotopy Type Theory Subject: Re: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Topic: [HoTT] Impredicative set + function extensionality + proof irrelevance consistent? Thread-Index: AQHTcje6ntODVCgsJUW7bijhlNm7RaM+MsiAgAFNJACAAA1dAIAAEHaAgAAFP4CABQTogIACmu0AgAAacoCAABWzgIABlfMAgAGLLYCAACi3gIAADmUAgAANMACAAAreAIAABf+AgAABlgCAATRTAIAABH8AgAAGvACAANpEAIACRAaA Date: Fri, 22 Dec 2017 11:18:16 +0000 Message-ID: <700E969A-9BB6-496E-8CB1-0230E099F085@exmail.nottingham.ac.uk> References: <20171218115228.GB29410@mathematik.tu-darmstadt.de> <55AAFF96-F751-4A01-BE3E-280A438A55DC@exmail.nottingham.ac.uk> <20171219153118.GA9218@mathematik.tu-darmstadt.de> <20171219163139.GB13875@mathematik.tu-darmstadt.de> <20171220110052.GC8054@mathematik.tu-darmstadt.de> <5B8F4A6C-DD7C-4A14-812C-4AEA35C41BEA@exmail.nottingham.ac.uk> <20171220114104.GG8054@mathematik.tu-darmstadt.de> <318cbeff-e7f2-4c45-b3c4-f392a94dd09d@googlegroups.com> In-Reply-To: <318cbeff-e7f2-4c45-b3c4-f392a94dd09d@googlegroups.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.15.1.160411 authentication-results: spf=none (sender IP is ) smtp.mailfrom=psz...@exmail.nottingham.ac.uk; x-originating-ip: [82.31.58.108] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;DB5PR06MB1719;6:vT9OhO9QsxUyRa+8fNKu8NHfRvM7LmVCCViE8Wd+BDP/jv6iXHlVKHwuPF2qx0keIMRAaG99Gbby6g2q9Do9Ta1+i6u7MaBE6CYUa7qKOATOO3UDG/r50QkcBAADt64HXjdpKVL948zv7lKmp9Ocv3ma0Hs0ponlhg67v9RQAqxZYfAyvNajiQaaA5HraUG1klADYoV9H2dfpW7ZTtBlNsGqSBIk2ma3qjij9bhYUVpz7sO5WxLjh0bSwR3xkyO6Y3mpXkJqn+Z9OuVSMXZkMvZ8uyU1MFESho0nCak/ZSXbZYvhyeaP+VE5MNez0CNMTeBaF1Jz/w+WYcm79dIFJGqmORS3AInGouiwOYyym8U=;5:+zmTMkfEB/2eHMCbQ6UdPkIah5Tbb3zwiGP+fvCqQDu/sFdsqM4zlKTazu8iM+MYYDh9MlXHRNgOlEU/2WDX2amgsxTRI/H+W0E3OUsO93KqpmrIIkgpxGImRaF1EZmoJDeLcRuwCI+Avh7vfhs3DMAbfnaAUnLOp4eqztdxD8s=;24:wCqJby0fmMZLe85JARdqVl5orwkEvy9bzRKi4Nlh4Atd3xfnkrwU8gM6CtkNuvlfvklD3SvcvcqsP1PZpO/bZzOqzKrJeuPAU2y9cd0QqLw=;7:pXHUhdhFH4jY4e3eOiK7U5yXbty//7z0tEkB2Ylp/ewtVAnmSbuxcYnL7upCxGl2zoobTbeRkn6oSjIyIqXrdprEzrhXJdNslGMgfv7XfLWa3c/X8CE9zq+aZjajC9RJgCUBvd93tm0XQ8+nN0ELoNX0unTqDa6RDedPd73OkE5n7MHKwNcSBVDO+Qm146yV5e6WhuvBIca6YDeOhr6XhwSpW88iP3LGdfE6uJwtf+P+I/jDbNGUUBDfLmd8fCgk x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 37b918f5-4cb0-4734-60dc-08d5492db2b2 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(5600026)(4604075)(3008031)(2017052603307)(7153060);SRVR:DB5PR06MB1719; x-ms-traffictypediagnostic: DB5PR06MB1719: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(215639381216008)(228788266533470)(131327999870524)(788757137089)(211936372134217); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040470)(2401047)(5005006)(8121501046)(3002001)(10201501046)(3231023)(920507027)(944501042)(93006095)(93001095)(6041268)(20161123558120)(20161123562045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123564045)(20161123560045)(6072148)(201708071742011);SRVR:DB5PR06MB1719;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:DB5PR06MB1719; x-forefront-prvs: 05299D545B x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(39380400002)(396003)(366004)(346002)(39860400002)(199004)(189003)(24454002)(81156014)(5660300001)(966005)(58126008)(14454004)(42882006)(786003)(6506007)(316002)(53546011)(74482002)(8676002)(68736007)(97736004)(6246003)(8936002)(81166006)(229853002)(105586002)(93886005)(106356001)(478600001)(110136005)(102836004)(2950100002)(59450400001)(606006)(83716003)(53936002)(39060400002)(34040400001)(82746002)(83506002)(7736002)(2906002)(3660700001)(86362001)(25786009)(6116002)(236005)(6306002)(54896002)(6512007)(3846002)(66066001)(6486002)(33656002)(76176011)(3280700002)(14971765001)(99286004)(6436002)(2900100001)(5250100002)(42522002)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1719;H:DB5PR06MB1717.eurprd06.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX:1;LANG:en; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: multipart/alternative; boundary="_000_700E969A9BB6496E8CB10230E099F085exmailnottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 37b918f5-4cb0-4734-60dc-08d5492db2b2 X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Dec 2017 11:18:16.2871 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1719 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Note: SpamAssassin run bypassed due to message size --_000_700E969A9BB6496E8CB10230E099F085exmailnottinghamacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SGkgTWF0dCwNCg0KWWVzLCB0aGlzIGlzIHdoYXQgSSB3YW50ZWQgdG8gc2F5LiBUbyBwdXQgaXQg aW4gYSBkaWZmZXJlbnQgd2F5OiBpbiBUeXBlIFRoZW9yeSB3ZSBjYW4gYXBwcm94aW1hdGUgT21l Z2EgYnkgSFByb3AuIEFuZCBpbmRlZWQsIGV2ZXJ5IHN1Ym9iamVjdCBvZiAxIGlzIHJlcHJlc2Vu dGVkIGFzIGFuIGVsZW1lbnQgb2YgSFByb3AuIFRoZXJlIGFyZSAyIG1pc21hdGNoZXM6IEhQcm9w IGlzIGxhcmdlIGJ1dCBPbWVnYSBpcyBzbWFsbCAodGhpcyBjb3JyZXNwb25kcyB0byBpbXByZWRp Y2F0aXZpdHkgb3IgcmVzaXppbmcpLiBUaGUgb3RoZXIgaXMgcHJvcG9zaXRpb25hbCBleHRlbnNp b25hbGl0eSB3aGljaCBpcyBhbiBpbnN0YW5jZSBvZiB1bml2YWxlbmNlLg0KDQpXZSBjYW4gdmll dyB0b3BvaSBhcyBhIGZpcnN0IGFwcHJveGltYXRpb24gb2YgSG9UVC4gV2hlbiB3ZSByZXBsYWNl IGEgc3Vib2JqZWN0IGNsYXNzaWZpZXIgYnkgYW4gb2JqZWN0IGNsYXNzaWZpZXIsIHRoYXQgaXMg Y2xhc3NpZnlpbmcgYWxsIG1hcHMgYW5kIG5vdCBqdXN0IHByb3Bvc2l0aW9ucyB3ZSBvYnRhaW4g dW5pdmFsZW50IHVuaXZlcnNlcy4gSG93ZXZlciwgdHdvIHByb3Zpc29zIGFyZSBuZWNlc3Nhcnk6 IDEuIHdlIGNhbm5vdCBjbGFzc2lmeSBhbGwgbWFwcyBvdGhlcndpc2Ugd2UgZW5kIHVwIHdpdGgg YSBzeXN0ZW0gd2l0aCBUeXBlIDogVHlwZSBhbmQgMi4gd2UgaGF2ZSB0byBtb3ZlIHRvIGFuIChv bWVnYSwxKS1jYXRlZ29yeSBiZWNhdXNlIHVuaXZhbGVuY2UgaXMgZm9yY2VkIHVwb24gdXMgYXMg YW4gZXF1YWxpdHkgYW5kIHRoaXMgZG9lc27igJl0IHdvcmsgaWYgYWxsIHR5cGVzIGFyZSBzZXRz LiBUaGF0IGlzIGEgaGlnaGVyIHByZWRpY2F0aXZlIHRvcG9zIGZpeGVzIHRoZSBoaXN0b3JpYyBz aG9ydGNvbWluZ3Mgb2YgdG9wb3MgdGhlb3J5Lg0KDQpCeSBtb3ZpbmcgdG8gYSBwcmVkaWNhdGl2 ZSBzZXR0aW5nIHdlIGdpdmUgdXAgdGhlIGVuY29kaW5ncyBvZiBjb2xpbWl0cyAoZS5nLiBjb2Vx dWFsaXplcnMpIHVzaW5nIHRoZSBzdWJvYmplY3QgY2xhc3NpZmllci4gSW5kZWVkLCB0aGlzIGlz IGp1c3QgdGhlIGltcHJlZGljYXRpdmUgZW5jb2Rpbmcgb2YgcXVvdGllbnQgdHlwZXMuIEluc3Rl YWQgd2UgbmVlZCB0byBleHBsaWN0bHkgYWRkIHRoZW0gYnV0IHdlIGNhbiBkbyB0aGlzIGluIGEg d2F5IHdoaWNoIGdvZXMgYmV5b25kIHRvcG9zIHRoZW9yeSAoZXZlbiBpbiB0aGUgcHJvcG9zaXRp b25hbCBzZXR0aW5nKSBuYW1lbHkgYXMgUUlUcyAocHJvcG9zaXRpb25hbCkgb3IgSElUcyAoaW4g dGhlIGhpZ2hlciBjYXNlKS4NCg0KVGhvcnN0ZW4NCg0KDQpGcm9tOiA8aG9tb3RvcHl0Li4uQGdv b2dsZWdyb3Vwcy5jb208bWFpbHRvOmhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29tPj4gb24g YmVoYWxmIG9mIE1hdHQgT2xpdmVyaSA8YXRtLi4uQGdtYWlsLmNvbTxtYWlsdG86YXRtLi4uQGdt YWlsLmNvbT4+DQpEYXRlOiBUaHVyc2RheSwgMjEgRGVjZW1iZXIgMjAxNyBhdCAwMDo0Mg0KVG86 IEhvbW90b3B5IFR5cGUgVGhlb3J5IDxob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbTxtYWls dG86aG9tb3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20+Pg0KU3ViamVjdDogUmU6IFtIb1RUXSBJ bXByZWRpY2F0aXZlIHNldCArIGZ1bmN0aW9uIGV4dGVuc2lvbmFsaXR5ICsgcHJvb2YgaXJyZWxl dmFuY2UgY29uc2lzdGVudD8NCg0KSGkgVGhvcnN0ZW4gYW5kIFRob21hcywNCg0KSXQgc3RpbGwg bG9va3MgdG8gbWUgbGlrZSB5b3UncmUgdGFsa2luZyBhYm91dCBkaWZmZXJlbnQgdGhpbmdzIGFu ZCBoYXZpbmcgYSBtaXN1bmRlcnN0YW5kaW5nLg0KQnkgInByb3Bvc2l0aW9uYWwgZXh0ZW5zaW9u YWxpdHkiLCBUaG9yc3RlbiBzZWVtcyB0byBtZWFuIHRoZSBzcGVjaWFsIGNhc2Ugb2YgdW5pdmFs ZW5jZSB0aGF0IGFwcGxpZXMgdG8gaHByb3BzLiAoV2hpY2ggaGUncyBzaW1wbHkgY2FsbGluZyBw cm9wb3NpdGlvbnMuKSBCdXQgaXQgc291bmRzIGxpa2UgVGhvbWFzIGlzIGNvdW50aW5nICJwcm9w b3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5IiBhcyBhIHNlcGFyYXRlIHByaW5jaXBsZSBmcm9tIHVu aXZhbGVuY2UsIGZvciBhIHR5cGUgb2Ygc3RhdGljIHByb3BzLiBJIHRoaW5rIHRoZSBzeXN0ZW0g VGhvcnN0ZW4gaGFzIGluIG1pbmQgcHJlc2VudHMgYSAocHJlKXRvcG9zIGFzIGEgdW5pdmFsZW50 IHR5cGUgc3lzdGVtLCB3aGVyZSBocHJvcHMgYXJlIHVzZWQgKmluc3RlYWQgb2YqIGEgdHlwZSBv ZiBzdGF0aWMgcHJvcHMuDQoNCkJ1dCBtYXliZSBub3QsIGFuZCBJJ20gbWlzdW5kZXJzdGFuZGlu Zy4NCg0KT24gV2VkbmVzZGF5LCBEZWNlbWJlciAyMCwgMjAxNyBhdCA2OjQxOjE0IEFNIFVUQy01 LCBUaG9tYXMgU3RyZWljaGVyIHdyb3RlOg0KSGkgVGhvcnN0ZW4sDQoNCj4gd2UgaGF2ZSBhbHJl YWR5IGVzdGFibGlzaGVkIHRoYXQgbXkgYXJndW1lbnQgd2FzIGluY29ycmVjdCAoZm9yIHRoZQ0K PiByZWFzb25zIHlvdSBzdGF0ZSkgYW5kIEkgd2FzIG1pc2luZm9ybWVkIGFib3V0IHRoZSBiZWhh dmlvdXIgb2YNCj4gTGVhbi4NCg0KSSBrbm93LCBJIGp1c3Qgd2FudGVkIHRvIHNwb3Qgd2hlcmUg dGhlIHByb2JsZW0gcHJlY2lzZWx5IGlzLg0KDQo+ID5Bbm90aGVyIGdhcCBpbiBUaG9yc3Rlbidz IGFyZ3VtZW50IGlzIHRoZSBmb2xsb3dpbmcuIFRob3VnaCBTaW5nbGUoYSkgYW5kDQo+ID5TaW5n bGUoYScpIGFyZSBpc29tb3JwaGljIGluIG9yZGVyIHRvIGNvbmNsdWRlIHRoYXQgdGhleSBhcmUg cHJvcG9zaXRpb25hbGx5DQo+ID5lcXVhbCB0aGV5IHdvdWxkIGhhdmUgdG8gYmUgZWxlbWVudHMg b2YgYSB1bml2YWxlbnQgdW5pdmVyc2UgQlVUIEkgZG9uJ3Qgc2VlDQo+ID53aGVyZSBzdWNoIGEg dW5pdmVyc2Ugc2hvdWxkIGNvbWUgZnJvbSBpbiB0aGUgZ2VuZXJhbCB0b3BvcyBjYXNlIQ0KDQo+ IEkgZG9uPz8/dCB1bmRlcnN0YW5kIHRoaXMgcG9pbnQuIEluIGEgdHlwZSB0aGVvcmV0aWMgaW1w bGVtZW50YXRpb24gb2YgYSB0b3BvcyBTaW5nbGUoYSkgYW5kIFNpbmdsZShhPz8/KSB3b3VsZCBi ZSBwcm9wb3NpdGlvbmFsbHkgZXF1YWwgZHVlIHRvIHByb3Bvc2l0aW9uYWwgZXh0ZW5zaW9uYWxp dHkuIFRoZSBvbmx5IGFkZGl0aW9uYWwgYXNzdW1wdGlvbiBJIG5lZWQgdG8gbWFrZSBpcyB0aGF0 IHRoZSB1bml2ZXJzZSBvZiBwcm9wb3NpdGlvbiBpcyBzdHJpY3QsIGUuZy4gd2UgaGF2ZSB0aGF0 IEVsKEEgLT4gQikgaXMgZGVmaW5pdGlvbmFsbHkgZXF1YWwgdG8gIEVMKEEpIC0+IEVsKEIpLiBU aGlzIHNlZW1zIHRvIGJlIHF1aXRlIG5hdHVyYWwgZnJvbSB0aGUgcG9pbnQgb2YgdHlwZSB0aGVv cnkgd2hlcmUgdW5pdmVyc2VzIGFyZSB1c3VhbGx5IHN0cmljdCBhbmQgbW9yZW92ZXIgdGhpcyBp cyB0cnVlIGluIGFueSB1bml2YWxlbnQgY2F0ZWdvcnkgZ2l2aW5nIHJpc2UgdG8gYSB0b3Bvcy4N Cg0KV2VsbCwgU2luZ2xlKGEpIGFuZCBTaW5nbGUoYScpIHdlcmUgcHJvcHNpdGlvbmFsbHkgZXF1 YWwgaWYgdGhleSB3ZXJlDQplbGVtZW50cyBvZiBhIHVuaXZhbGVudCB1bml2ZXJzZSBVIGJ1dCB3 aGVyZSBzaG91bGQgdGhpcyBjb21lIGZyb20gaWYNCnlvdSBzdGFydCBmcm9tIGFuIGVsZW1lbnRh cnkgdG9wb3MgaW4gYSB1bml2YWxlbnQgbWV0YXRoZW9yeS4NCg0KVGhvbWFzDQoNCi0tDQpZb3Ug cmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBH b29nbGUgR3JvdXBzICJIb21vdG9weSBUeXBlIFRoZW9yeSIgZ3JvdXAuDQpUbyB1bnN1YnNjcmli ZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5k IGFuIGVtYWlsIHRvIEhvbW90b3B5VHlwZVRoZS4uLkBnb29nbGVncm91cHMuY29tPG1haWx0bzpI b21vdG9weVR5cGVUaGUuLi5AZ29vZ2xlZ3JvdXBzLmNvbT4uDQpGb3IgbW9yZSBvcHRpb25zLCB2 aXNpdCBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0Lg0KCgoKClRoaXMgbWVzc2Fn ZSBhbmQgYW55IGF0dGFjaG1lbnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3Nl ZQphbmQgbWF5IGNvbnRhaW4gY29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSBy ZWNlaXZlZCB0aGlzCm1lc3NhZ2UgaW4gZXJyb3IsIHBsZWFzZSBzZW5kIGl0IGJhY2sgdG8gbWUs IGFuZCBpbW1lZGlhdGVseSBkZWxldGUgaXQuIAoKUGxlYXNlIGRvIG5vdCB1c2UsIGNvcHkgb3Ig ZGlzY2xvc2UgdGhlIGluZm9ybWF0aW9uIGNvbnRhaW5lZCBpbiB0aGlzCm1lc3NhZ2Ugb3IgaW4g YW55IGF0dGFjaG1lbnQuICBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZQph dXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mg b2YgdGhlClVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4KClRoaXMgbWVzc2FnZSBoYXMgYmVlbiBj aGVja2VkIGZvciB2aXJ1c2VzIGJ1dCB0aGUgY29udGVudHMgb2YgYW4KYXR0YWNobWVudCBtYXkg c3RpbGwgY29udGFpbiBzb2Z0d2FyZSB2aXJ1c2VzIHdoaWNoIGNvdWxkIGRhbWFnZSB5b3VyCmNv bXB1dGVyIHN5c3RlbSwgeW91IGFyZSBhZHZpc2VkIHRvIHBlcmZvcm0geW91ciBvd24gY2hlY2tz LiBFbWFpbApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0g bWF5IGJlIG1vbml0b3JlZCBhcwpwZXJtaXR0ZWQgYnkgVUsgbGVnaXNsYXRpb24uCgo= --_000_700E969A9BB6496E8CB10230E099F085exmailnottinghamacuk_ Content-Type: text/html; charset="utf-8" Content-ID: <3FE3AAD8E56F0640...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdy YXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgLXdlYmtpdC1saW5lLWJy ZWFrOiBhZnRlci13aGl0ZS1zcGFjZTsgY29sb3I6IHJnYigwLCAwLCAwKTsgZm9udC1zaXplOiAx NHB4OyBmb250LWZhbWlseTogQ2FsaWJyaSwgc2Fucy1zZXJpZjsiPg0KPGRpdj4NCjxkaXY+SGkg TWF0dCw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PlllcywgdGhpcyBpcyB3aGF0IEkg d2FudGVkIHRvIHNheS4gVG8gcHV0IGl0IGluIGEgZGlmZmVyZW50IHdheTogaW4gVHlwZSBUaGVv cnkgd2UgY2FuIGFwcHJveGltYXRlIE9tZWdhIGJ5IEhQcm9wLiBBbmQgaW5kZWVkLCBldmVyeSBz dWJvYmplY3Qgb2YgMSBpcyByZXByZXNlbnRlZCBhcyBhbiBlbGVtZW50IG9mIEhQcm9wLiBUaGVy ZSBhcmUgMiBtaXNtYXRjaGVzOiBIUHJvcCBpcyBsYXJnZSBidXQgT21lZ2EgaXMgc21hbGwgKHRo aXMgY29ycmVzcG9uZHMNCiB0byBpbXByZWRpY2F0aXZpdHkgb3IgcmVzaXppbmcpLiBUaGUgb3Ro ZXIgaXMgcHJvcG9zaXRpb25hbCBleHRlbnNpb25hbGl0eSB3aGljaCBpcyBhbiBpbnN0YW5jZSBv ZiB1bml2YWxlbmNlLjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+V2UgY2FuIHZpZXcg dG9wb2kgYXMgYSBmaXJzdCBhcHByb3hpbWF0aW9uIG9mIEhvVFQuIFdoZW4gd2UgcmVwbGFjZSBh IHN1Ym9iamVjdCBjbGFzc2lmaWVyIGJ5IGFuIG9iamVjdCBjbGFzc2lmaWVyLCB0aGF0IGlzIGNs YXNzaWZ5aW5nIGFsbCBtYXBzIGFuZCBub3QganVzdCBwcm9wb3NpdGlvbnMgd2Ugb2J0YWluIHVu aXZhbGVudCB1bml2ZXJzZXMuIEhvd2V2ZXIsIHR3byBwcm92aXNvcyBhcmUgbmVjZXNzYXJ5OiAx LiB3ZSBjYW5ub3QNCiBjbGFzc2lmeSBhbGwgbWFwcyBvdGhlcndpc2Ugd2UgZW5kIHVwIHdpdGgg YSBzeXN0ZW0gd2l0aCBUeXBlIDogVHlwZSBhbmQgMi4gd2UgaGF2ZSB0byBtb3ZlIHRvIGFuIChv bWVnYSwxKS1jYXRlZ29yeSBiZWNhdXNlIHVuaXZhbGVuY2UgaXMgZm9yY2VkIHVwb24gdXMgYXMg YW4gZXF1YWxpdHkgYW5kIHRoaXMgZG9lc27igJl0IHdvcmsgaWYgYWxsIHR5cGVzIGFyZSBzZXRz LiBUaGF0IGlzIGEgaGlnaGVyIHByZWRpY2F0aXZlIHRvcG9zIGZpeGVzIHRoZQ0KIGhpc3Rvcmlj IHNob3J0Y29taW5ncyBvZiB0b3BvcyB0aGVvcnkuPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0K PGRpdj5CeSBtb3ZpbmcgdG8gYSBwcmVkaWNhdGl2ZSBzZXR0aW5nIHdlIGdpdmUgdXAgdGhlIGVu Y29kaW5ncyBvZiBjb2xpbWl0cyAoZS5nLiBjb2VxdWFsaXplcnMpIHVzaW5nIHRoZSBzdWJvYmpl Y3QgY2xhc3NpZmllci4gSW5kZWVkLCB0aGlzIGlzIGp1c3QgdGhlIGltcHJlZGljYXRpdmUgZW5j b2Rpbmcgb2YgcXVvdGllbnQgdHlwZXMuIEluc3RlYWQgd2UgbmVlZCB0byBleHBsaWN0bHkgYWRk IHRoZW0gYnV0IHdlIGNhbiBkbyB0aGlzIGluIGENCiB3YXkgd2hpY2ggZ29lcyBiZXlvbmQgdG9w b3MgdGhlb3J5IChldmVuIGluIHRoZSBwcm9wb3NpdGlvbmFsIHNldHRpbmcpIG5hbWVseSBhcyBR SVRzIChwcm9wb3NpdGlvbmFsKSBvciBISVRzIChpbiB0aGUgaGlnaGVyIGNhc2UpLjwvZGl2Pg0K PGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+VGhvcnN0ZW48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+ DQo8ZGl2Pg0KPGRpdiBpZD0iTUFDX09VVExPT0tfU0lHTkFUVVJFIj48L2Rpdj4NCjwvZGl2Pg0K PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPHNwYW4gaWQ9Ik9MS19TUkNfQk9EWV9TRUNUSU9O Ij4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OkNhbGlicmk7IGZvbnQtc2l6ZToxMnB0OyB0ZXh0 LWFsaWduOmxlZnQ7IGNvbG9yOmJsYWNrOyBCT1JERVItQk9UVE9NOiBtZWRpdW0gbm9uZTsgQk9S REVSLUxFRlQ6IG1lZGl1bSBub25lOyBQQURESU5HLUJPVFRPTTogMGluOyBQQURESU5HLUxFRlQ6 IDBpbjsgUEFERElORy1SSUdIVDogMGluOyBCT1JERVItVE9QOiAjYjVjNGRmIDFwdCBzb2xpZDsg Qk9SREVSLVJJR0hUOiBtZWRpdW0gbm9uZTsgUEFERElORy1UT1A6IDNwdCI+DQo8c3BhbiBzdHls ZT0iZm9udC13ZWlnaHQ6Ym9sZCI+RnJvbTogPC9zcGFuPiZsdDs8YSBocmVmPSJtYWlsdG86aG9t b3RvcHl0Li4uQGdvb2dsZWdyb3Vwcy5jb20iPmhvbW90b3B5dC4uLkBnb29nbGVncm91cHMuY29t PC9hPiZndDsgb24gYmVoYWxmIG9mIE1hdHQgT2xpdmVyaSAmbHQ7PGEgaHJlZj0ibWFpbHRvOmF0 bS4uLkBnbWFpbC5jb20iPmF0bS4uLkBnbWFpbC5jb208L2E+Jmd0Ozxicj4NCjxzcGFuIHN0eWxl PSJmb250LXdlaWdodDpib2xkIj5EYXRlOiA8L3NwYW4+VGh1cnNkYXksIDIxIERlY2VtYmVyIDIw MTcgYXQgMDA6NDI8YnI+DQo8c3BhbiBzdHlsZT0iZm9udC13ZWlnaHQ6Ym9sZCI+VG86IDwvc3Bh bj5Ib21vdG9weSBUeXBlIFRoZW9yeSAmbHQ7PGEgaHJlZj0ibWFpbHRvOmhvbW90b3B5dC4uLkBn b29nbGVncm91cHMuY29tIj5ob21vdG9weXQuLi5AZ29vZ2xlZ3JvdXBzLmNvbTwvYT4mZ3Q7PGJy Pg0KPHNwYW4gc3R5bGU9ImZvbnQtd2VpZ2h0OmJvbGQiPlN1YmplY3Q6IDwvc3Bhbj5SZTogW0hv VFRdIEltcHJlZGljYXRpdmUgc2V0ICYjNDM7IGZ1bmN0aW9uIGV4dGVuc2lvbmFsaXR5ICYjNDM7 IHByb29mIGlycmVsZXZhbmNlIGNvbnNpc3RlbnQ/PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwv ZGl2Pg0KPHNwYW4gc3R5bGU9Im1zby1ib29rbWFyazpfTWFpbE9yaWdpbmFsQm9keSI+DQo8Ymxv Y2txdW90ZSBpZD0iTUFDX09VVExPT0tfQVRUUklCVVRJT05fQkxPQ0tRVU9URSIgc3R5bGU9IkJP UkRFUi1MRUZUOiAjYjVjNGRmIDUgc29saWQ7IFBBRERJTkc6MCAwIDAgNTsgTUFSR0lOOjAgMCAw IDU7Ij4NCjxkaXY+DQo8ZGl2Pg0KPGRpdiBkaXI9Imx0ciI+SGkgVGhvcnN0ZW4gYW5kIFRob21h cyw8YnI+DQo8YnI+DQpJdCBzdGlsbCBsb29rcyB0byBtZSBsaWtlIHlvdSdyZSB0YWxraW5nIGFi b3V0IGRpZmZlcmVudCB0aGluZ3MgYW5kIGhhdmluZyBhIG1pc3VuZGVyc3RhbmRpbmcuPGJyPg0K QnkgJnF1b3Q7cHJvcG9zaXRpb25hbCBleHRlbnNpb25hbGl0eSZxdW90OywgVGhvcnN0ZW4gc2Vl bXMgdG8gbWVhbiB0aGUgc3BlY2lhbCBjYXNlIG9mIHVuaXZhbGVuY2UgdGhhdCBhcHBsaWVzIHRv IGhwcm9wcy4gKFdoaWNoIGhlJ3Mgc2ltcGx5IGNhbGxpbmcgcHJvcG9zaXRpb25zLikgQnV0IGl0 IHNvdW5kcyBsaWtlIFRob21hcyBpcyBjb3VudGluZyAmcXVvdDtwcm9wb3NpdGlvbmFsIGV4dGVu c2lvbmFsaXR5JnF1b3Q7IGFzIGEgc2VwYXJhdGUgcHJpbmNpcGxlIGZyb20gdW5pdmFsZW5jZSwN CiBmb3IgYSB0eXBlIG9mIHN0YXRpYyBwcm9wcy4gSSB0aGluayB0aGUgc3lzdGVtIFRob3JzdGVu IGhhcyBpbiBtaW5kIHByZXNlbnRzIGEgKHByZSl0b3BvcyBhcyBhIHVuaXZhbGVudCB0eXBlIHN5 c3RlbSwgd2hlcmUgaHByb3BzIGFyZSB1c2VkICppbnN0ZWFkIG9mKiBhIHR5cGUgb2Ygc3RhdGlj IHByb3BzLjxicj4NCjxicj4NCkJ1dCBtYXliZSBub3QsIGFuZCBJJ20gbWlzdW5kZXJzdGFuZGlu Zy48YnI+DQo8YnI+DQpPbiBXZWRuZXNkYXksIERlY2VtYmVyIDIwLCAyMDE3IGF0IDY6NDE6MTQg QU0gVVRDLTUsIFRob21hcyBTdHJlaWNoZXIgd3JvdGU6DQo8YmxvY2txdW90ZSBjbGFzcz0iZ21h aWxfcXVvdGUiIHN0eWxlPSJtYXJnaW46IDA7bWFyZ2luLWxlZnQ6IDAuOGV4O2JvcmRlci1sZWZ0 OiAxcHggI2NjYyBzb2xpZDtwYWRkaW5nLWxlZnQ6IDFleDsiPg0KSGkgVGhvcnN0ZW4sIDxicj4N Cjxicj4NCiZndDsgd2UgaGF2ZSBhbHJlYWR5IGVzdGFibGlzaGVkIHRoYXQgbXkgYXJndW1lbnQg d2FzIGluY29ycmVjdCAoZm9yIHRoZSA8YnI+DQomZ3Q7IHJlYXNvbnMgeW91IHN0YXRlKSBhbmQg SSB3YXMgbWlzaW5mb3JtZWQgYWJvdXQgdGhlIGJlaGF2aW91ciBvZiA8YnI+DQomZ3Q7IExlYW4u IDxicj4NCjxicj4NCkkga25vdywgSSBqdXN0IHdhbnRlZCB0byBzcG90IHdoZXJlIHRoZSBwcm9i bGVtIHByZWNpc2VseSBpcy4gPGJyPg0KPGJyPg0KJmd0OyAmZ3Q7QW5vdGhlciBnYXAgaW4gVGhv cnN0ZW4ncyBhcmd1bWVudCBpcyB0aGUgZm9sbG93aW5nLiBUaG91Z2ggU2luZ2xlKGEpIGFuZCA8 YnI+DQomZ3Q7ICZndDtTaW5nbGUoYScpIGFyZSBpc29tb3JwaGljIGluIG9yZGVyIHRvIGNvbmNs dWRlIHRoYXQgdGhleSBhcmUgcHJvcG9zaXRpb25hbGx5IDxicj4NCiZndDsgJmd0O2VxdWFsIHRo ZXkgd291bGQgaGF2ZSB0byBiZSBlbGVtZW50cyBvZiBhIHVuaXZhbGVudCB1bml2ZXJzZSBCVVQg SSBkb24ndCBzZWUgPGJyPg0KJmd0OyAmZ3Q7d2hlcmUgc3VjaCBhIHVuaXZlcnNlIHNob3VsZCBj b21lIGZyb20gaW4gdGhlIGdlbmVyYWwgdG9wb3MgY2FzZSEgPGJyPg0KPGJyPg0KJmd0OyBJIGRv bj8/P3QgdW5kZXJzdGFuZCB0aGlzIHBvaW50LiBJbiBhIHR5cGUgdGhlb3JldGljIGltcGxlbWVu dGF0aW9uIG9mIGEgdG9wb3MgU2luZ2xlKGEpIGFuZCBTaW5nbGUoYT8/Pykgd291bGQgYmUgcHJv cG9zaXRpb25hbGx5IGVxdWFsIGR1ZSB0byBwcm9wb3NpdGlvbmFsIGV4dGVuc2lvbmFsaXR5LiBU aGUgb25seSBhZGRpdGlvbmFsIGFzc3VtcHRpb24gSSBuZWVkIHRvIG1ha2UgaXMgdGhhdCB0aGUg dW5pdmVyc2Ugb2YgcHJvcG9zaXRpb24NCiBpcyBzdHJpY3QsIGUuZy4gd2UgaGF2ZSB0aGF0IEVs KEEgLSZndDsgQikgaXMgZGVmaW5pdGlvbmFsbHkgZXF1YWwgdG8gJm5ic3A7RUwoQSkgLSZndDsg RWwoQikuIFRoaXMgc2VlbXMgdG8gYmUgcXVpdGUgbmF0dXJhbCBmcm9tIHRoZSBwb2ludCBvZiB0 eXBlIHRoZW9yeSB3aGVyZSB1bml2ZXJzZXMgYXJlIHVzdWFsbHkgc3RyaWN0IGFuZCBtb3Jlb3Zl ciB0aGlzIGlzIHRydWUgaW4gYW55IHVuaXZhbGVudCBjYXRlZ29yeSBnaXZpbmcgcmlzZSB0byBh IHRvcG9zLg0KPGJyPg0KPGJyPg0KV2VsbCwgU2luZ2xlKGEpIGFuZCBTaW5nbGUoYScpIHdlcmUg cHJvcHNpdGlvbmFsbHkgZXF1YWwgaWYgdGhleSB3ZXJlIDxicj4NCmVsZW1lbnRzIG9mIGEgdW5p dmFsZW50IHVuaXZlcnNlIFUgYnV0IHdoZXJlIHNob3VsZCB0aGlzIGNvbWUgZnJvbSBpZiA8YnI+ DQp5b3Ugc3RhcnQgZnJvbSBhbiBlbGVtZW50YXJ5IHRvcG9zIGluIGEgdW5pdmFsZW50IG1ldGF0 aGVvcnkuIDxicj4NCjxicj4NClRob21hczxicj4NCjwvYmxvY2txdW90ZT4NCjwvZGl2Pg0KPHA+ PC9wPg0KLS0gPGJyPg0KWW91IHJlY2VpdmVkIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSBhcmUg c3Vic2NyaWJlZCB0byB0aGUgR29vZ2xlIEdyb3VwcyAmcXVvdDtIb21vdG9weSBUeXBlIFRoZW9y eSZxdW90OyBncm91cC48YnI+DQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0 b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBzZW5kIGFuIGVtYWlsIHRvDQo8YSBocmVmPSJt YWlsdG86SG9tb3RvcHlUeXBlVGhlb3J5JiM0Mzt1bnN1Li4uQGdvb2dsZWdyb3Vwcy5jb20iPkhv bW90b3B5VHlwZVRoZW9yeSYjNDM7dW5zdS4uLkBnb29nbGVncm91cHMuY29tPC9hPi48YnI+DQpG b3IgbW9yZSBvcHRpb25zLCB2aXNpdCA8YSBocmVmPSJodHRwczovL2dyb3Vwcy5nb29nbGUuY29t L2Qvb3B0b3V0Ij5odHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2Qvb3B0b3V0PC9hPi48YnI+DQo8 L2Rpdj4NCjwvZGl2Pg0KPC9ibG9ja3F1b3RlPg0KPC9zcGFuPjwvc3Bhbj4NCjxQUkU+CgoKVGhp cyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUg YWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlv dSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIHNlbmQgaXQgYmFj ayB0byBtZSwgYW5kIGltbWVkaWF0ZWx5IGRlbGV0ZSBpdC4gCgpQbGVhc2UgZG8gbm90IHVzZSwg Y29weSBvciBkaXNjbG9zZSB0aGUgaW5mb3JtYXRpb24gY29udGFpbmVkIGluIHRoaXMKbWVzc2Fn ZSBvciBpbiBhbnkgYXR0YWNobWVudC4gIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQg YnkgdGhlCmF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRo ZSB2aWV3cyBvZiB0aGUKVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLgoKVGhpcyBtZXNzYWdlIGhh cyBiZWVuIGNoZWNrZWQgZm9yIHZpcnVzZXMgYnV0IHRoZSBjb250ZW50cyBvZiBhbgphdHRhY2ht ZW50IG1heSBzdGlsbCBjb250YWluIHNvZnR3YXJlIHZpcnVzZXMgd2hpY2ggY291bGQgZGFtYWdl IHlvdXIKY29tcHV0ZXIgc3lzdGVtLCB5b3UgYXJlIGFkdmlzZWQgdG8gcGVyZm9ybSB5b3VyIG93 biBjaGVja3MuIEVtYWlsCmNvbW11bmljYXRpb25zIHdpdGggdGhlIFVuaXZlcnNpdHkgb2YgTm90 dGluZ2hhbSBtYXkgYmUgbW9uaXRvcmVkIGFzCnBlcm1pdHRlZCBieSBVSyBsZWdpc2xhdGlvbi4K PC9QUkU+PC9ib2R5Pg0KPC9odG1sPg0K --_000_700E969A9BB6496E8CB10230E099F085exmailnottinghamacuk_--