From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:adf:e511:: with SMTP id j17mr15951578wrm.204.1589138116891; Sun, 10 May 2020 12:15:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:210b:: with SMTP id u11ls1216518wml.1.gmail; Sun, 10 May 2020 12:15:15 -0700 (PDT) X-Received: by 2002:a05:600c:1403:: with SMTP id g3mr1526670wmi.51.1589138115377; Sun, 10 May 2020 12:15:15 -0700 (PDT) Return-Path: Received: from uidappmx02.nottingham.ac.uk (uidappmx02.nottingham.ac.uk. [128.243.43.125]) by gmr-mx.google.com with ESMTPS id h8si510480wro.3.2020.05.10.12.15.15 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 10 May 2020 12:15:15 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.125 as permitted sender) client-ip=128.243.43.125; Authentication-Results: gmr-mx.google.com; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.125 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx02.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id F3DEF2E907B_EB852C2B for ; Sun, 10 May 2020 19:15:14 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx02.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id A339F2E8EC5_EB852C2F for ; Sun, 10 May 2020 19:15:14 +0000 (GMT) Received: from uiwexedg01.ad.nottingham.ac.uk ([10.159.172.13]) by smtp4.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jXrPt-0005Ap-Nq; Sun, 10 May 2020 20:15:14 +0100 Received: from UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) by exchangeSMTP.nottingham.ac.uk (10.159.172.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Sun, 10 May 2020 20:15:13 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1531.3; Sun, 10 May 2020 20:15:13 +0100 Received: from UiWexEDG02.ad.nottingham.ac.uk (10.159.172.14) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3 via Frontend Transport; Sun, 10 May 2020 20:15:13 +0100 Received: from EUR04-VI1-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Sun, 10 May 2020 20:15:13 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=PD2fe0TVnLSmd74pkNUZNkeIleUi5vPJWy8whFGslb56RU7npCUyJwsIHGNTTaL8jBKFAMWEK44Ut9WntWmeLy5sxgoqMX+r+XYY5uIc6Gj6DaQC8LO/0ejrRTduTw1jQ6yEi2TFj82vIRbkQ2jcqzatpMec7PbxWDAoksOvW9dy20hqz4NVgjdGjouKXYU5gkUhKWFPpqDI0yhsRbr/zicLGWxemApKTQSO8iX21ZFy94I6TElD0dLsArj7X/J5/7S+GWe3Fw9InmSPa8IqZDrAQxDX/WgySu1ks4mEXcRMEki9DqSWRqkKZf3sV37xQI0XTHekMych1mAsvcXveA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=n1JOxOjUxAsOQmeHnlvPTg2qAiIiCjWunRvoevvzTe4=; b=ntsPTgk3gMpgHGxgICuh2CDWLnseOToiBxxg9o3HFEoEraeGFKXAafA2OAQyJ2I+l56jF/EWfIjgHuWsyq6k+2sU2Hpe5hlEVXAr+/FbBSHEmUiqYlW/S5TVXpuS43NklCHiFgYVgiISDAvTJciIFJsc7Aeq3vy6M2qYUEvMx+U7JkB9C1Jqk5QrGj1cHiyGSc47MvTEUDJWHSdAADy+jiSkEUb/jBxsTXBVVcDB8i5fp3RUGMeOWzIFIQ7Fm8UO5W5NHHyTyp0P0j6QY5giSHw44QzUFI0RK52ULfZefwYQFhm9dei1d1FDsZhmCWhsyLz/j902M4HwpHUl5TCYuw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none Received: from AM6PR06MB5879.eurprd06.prod.outlook.com (20.178.86.216) by AM6PR06MB5094.eurprd06.prod.outlook.com (20.177.197.158) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2979.34; Sun, 10 May 2020 19:15:11 +0000 Received: from AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1]) by AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1%4]) with mapi id 15.20.2979.033; Sun, 10 May 2020 19:15:11 +0000 From: Thorsten Altenkirch To: Michael Shulman , nicolai.kraus CC: Jon Sterling , "'Martin Escardo' via Homotopy Type Theory" , nicolai.kraus Subject: Re: [HoTT] Identity versus equality Thread-Topic: [HoTT] Identity versus equality Thread-Index: AQHWIrn+BFzsbNwSEEa9XfXV/1cG1qibOgWAgAAyGYCAAAS1AIAATROA///484CAAI5iAIAAJIIAgABlowCAAFujgIAAIkaAgAADnYCAAHDSgIAA8f+AgAC+d4CAAHxwAIAAL1GAgAAahQCAABNRAIABAL6AgAAVJICAAAU5gIAABAAAgABfFAA= Date: Sun, 10 May 2020 19:15:11 +0000 Message-ID: <1B7C6C2A-CE2D-4A0D-BEF4-5A36C34EAAF2@nottingham.ac.uk> References: <67E9DCCA-F9CA-45B7-9AC8-E5A7E94FE9A9@nottingham.ac.uk> <20200507100930.GA9390@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F5334@Pli.gst.uqam.ca> <8C57894C7413F04A98DDF5629FEC90B1652F53A3@Pli.gst.uqam.ca> <20200508064039.GC21473@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F54CC@Pli.gst.uqam.ca> <20200509082829.GA8417@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F55C8@Pli.gst.uqam.ca> <20200509184313.GB28841@mathematik.tu-darmstadt.de> <8C57894C7413F04A98DDF5629FEC90B1652F563A@Pli.gst.uqam.ca> <154D1B4B-6881-4269-8BA1-1CE8EBB0BE0D@nottingham.ac.uk> <3ec2f134-cbd4-7bfd-0a69-efb734a4a231@gmail.com> In-Reply-To: Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/16.36.20041900 authentication-results: sandiego.edu; dkim=none (message not signed) header.d=none;sandiego.edu; dmarc=none action=none header.from=exmail.nottingham.ac.uk; x-originating-ip: [86.28.226.182] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: baf800d4-51bf-4d9c-30ed-08d7f516761b x-ms-traffictypediagnostic: AM6PR06MB5094:|AM6PR06MB5094: x-ld-processed: 67bda7ee-fd80-41ef-ac91-358418290a1e,ExtAddr x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-forefront-prvs: 039975700A x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: sU3JEKZkrLKygWXN+COIONqnN1/pEMNZdQEkWNiKPa9b3pdP7vVBeOzBw4hfNds1Swo3P41YdQmswG4JPlecwMXo/uCVqBB0WmHGEWKdfy0wTpUUq/FGPgD2Au3vPrb5aVgwJlKJ3d8+bX2OrvIMqsnT346m+cvS/e4DYEhskPuV5y7GJAQKxnzA5MBMnOz2iDnz9Uv5+Ck3t2VM6O0H3hs8FDHt0cXyIoONwQmLmkNl+bh4tAB5N5R69YOkFcrgBSkx+SuaTQdFrLIRzPy2mcd9lItj2XRWWg4k4iRTn3UbP/oNutFR62X/FwlmS2KlbZJWnhqYPy85z5kJXxkbBLg2jTNetDbIE5rjfg2p8eogMoAjbjWoCV2TQYUC18AQIGfKI45/Tg0blstucQiwuZDyIk8hLrPfWBbksJWpxHAJBpX8GG2XP+BgpoOzEQzm/PvxwuJ/eAK19ugeLLb3HTTiPuQNwIROhjIBk4KhJKU4ePdPO7gSXZoJ0i4Dj4N+Dp+SZmOd9efsKcUvwaxvpg== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR06MB5879.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFTY:;SFS:(346002)(136003)(376002)(39860400002)(396003)(366004)(33430700001)(33440700001)(478600001)(8676002)(8936002)(55236004)(53546011)(6506007)(26005)(36756003)(186003)(5660300002)(110136005)(54906003)(66556008)(64756008)(66446008)(66476007)(786003)(316002)(71200400001)(6486002)(66946007)(2906002)(91956017)(76116006)(33656002)(4326008)(6512007)(86362001)(9686003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: XCP7p4jrE47M3TGHkPs132ucOb0xNuLvUkugKTZXR6+BGNx7DSkqYFoZbBgAv3DHDMS6EVqbjLXRkawPLDEiZcvx0HTEnbQbIg6q8E/6mEPI5V2zriv3xaeMjCFWFjxbv1fxsGp4j54zuRJfkSFpOI5XzBEabohVs4NDF1D5E/MakDSvEQW/bzpsH91/mg5vfkMKsKTMbufTKc63ApHYMXTzQOtEnu6oV65gzOw8U6BVBgPTcqLb/S14M8ILg4XyE5IKOqKtiYwdIqecqXCFMRnEq8n2EknhKdzSy494VCCxo45i51GoSF4Mc2KnChtOGcdLQVZo/cpAQl46cAzOecbUoUQcpAkJdXN+OMY08PTNZv7ldbdmxj4LDjv/PwqEdBZDwDYUw0UZ01F6ty0STvSQ4XUMmjkH6PgyStb/EhKjsze4EQtyS36xnQ0sHKZQz7N8Pn4GjTCjjCOMmfLsm2EwbD7FFk2UmcUFmm3HbR0= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: <645768F95364EF4F...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: baf800d4-51bf-4d9c-30ed-08d7f516761b X-MS-Exchange-CrossTenant-originalarrivaltime: 10 May 2020 19:15:11.4504 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: uEDLcwaxesnAl5hOwGxU9agBecoBX+qM+6cp7J0iBmD1ESFwoPELC2FuKEmtYa4MJ3e/f+mJzF5qnG5SfAcu7dZUm4TlNmCWLDRhvA+HdmBPv9R01DsoXkPGKiUh1uPs X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB5094 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Score: 0.0 (/) X-SASI-RCODE: 200 SSB0aG91Z2h0IHNvIGJ1dCBub3cgTmljb2xhaSBzYXlzIGl0IGlzIG5vdD8NCg0KRnJvbSBhIHR5 cGUtdGhlb3JldGljIHBvaW50IG9mIHZpZXcgaXQgc2VlbXMgbW9yZSBuYXR1cmFsIHRvIHNheSB0 aGF0IGluZGV4ZWQgTS10eXBlcyBhcmUgZmlicmFudCBldmVuIGlmIHRoZSBpbmRleCBpcyBub3Qu IFNheWluZyB0aGF0IG5hdHVyYWwgbnVtYmVycyBhcmUgY29maWJyYW50IGFzc2lnbnMgYSBzcGVj aWFsIHJvbGUgdG8gb25lIHBhcnRpY3VsYXIgaW5kdWN0aXZlIHR5cGUuDQoNClRob3JzdGVuDQoN Cu+7v09uIDEwLzA1LzIwMjAsIDE1OjM1LCAiTWljaGFlbCBTaHVsbWFuIiA8c2h1Li4uQHNhbmRp ZWdvLmVkdT4gd3JvdGU6DQoNCiAgICBNYW55IG9yIGFsbCBjb2luZHVjdGl2ZSB0eXBlcyBjYW4g YmUgY29uc3RydWN0ZWQsIGF0IGxlYXN0IHVwIHRvDQogICAgZXF1aXZhbGVuY2UsIHVzaW5nIFBp LXR5cGVzIGFuZCAoc29tZSBraW5kIG9mKSBOYXQuICBJcyB0aGVyZSBhbnkNCiAgICBjaGFuY2Ug dGhhdCAiZXhvLU5hdCBpcyBjb2ZpYnJhbnQiIGNvdWxkIGJlIHVzZWQgdG8ganVzdGlmeSB0aGUN CiAgICBleGlzdGVuY2UvZmlicmFuY3kgb2YgdGhlIGNvaW5kdWN0aXZlIHR5cGVzIHlvdSB3YW50 Pw0KDQogICAgT24gU3VuLCBNYXkgMTAsIDIwMjAgYXQgNzoyMCBBTSBOaWNvbGFpIEtyYXVzIDxu aWNvbGEuLi5AZ21haWwuY29tPiB3cm90ZToNCiAgICA+DQogICAgPiBPbiAxMC8wNS8yMDIwIDE1 OjAxLCBNaWNoYWVsIFNodWxtYW4gd3JvdGU6DQogICAgPiA+IE9uIFN1biwgTWF5IDEwLCAyMDIw IGF0IDQ6NDYgQU0gVGhvcnN0ZW4gQWx0ZW5raXJjaA0KICAgID4gPiA8VGhvcnN0ZW4uLi4uQG5v dHRpbmdoYW0uYWMudWs+IHdyb3RlOg0KICAgID4gPj4gRGVmaW5pbmcgc2ltcGxpY2lhbCB0eXBl cyBpc24ndCBlbnRpcmVseSBzdHJhaWdodGZvcndhcmQgKGFzIHlvdSBrbm93IEkgc3VwcG9zZSks IGJlY2F1c2UgRGVsdGEgaXMgbm90IGRpcmVjdGVkLiBXZSBjYW4gZG8gc2VtaS1zaW1wbGljaWFs IHR5cGVzIGFzIGEgUmVlZHkgbGltaXQsIGkuZS4gYW4gaW5maW5pdGUgU2lnbWEgdHlwZQ0KICAg ID4gPiBXZSBjYW4gY2VydGFpbmx5ICp0YWxrKiBhYm91dCBzaW1wbGljaWFsIHR5cGVzIGluIDJM VFQgYXMgZXhvZnVuY3RvcnMNCiAgICA+ID4gZnJvbSB0aGUgZXhvY2F0ZWdvcnkgRGVsdGEgdG8g dGhlIGV4b2NhdGVnb3J5IFR5cGUuICBJIGFzc3VtZSB0aGUNCiAgICA+ID4gcG9pbnQgeW91J3Jl IG1ha2luZyBpcyB0aGF0IHdlIGRvbid0IGhhdmUgYSAoZmlicmFudCkgKnR5cGUgb2YqDQogICAg PiA+IHNpbXBsaWNpYWwgdHlwZXMsIHdoZXJlYXMgd2UgZG8gaGF2ZSBhIGZpYnJhbnQgdHlwZSBv ZiBzZW1pc2ltcGxpY2lhbA0KICAgID4gPiB0eXBlcyAodW5kZXIgYXBwcm9wcmlhdGUgYXhpb21z KT8NCiAgICA+DQogICAgPiBKdWRnaW5nIGZyb20gdGhlIHJlc3Qgb2YgaGlzIG1lc3NhZ2UsIEkg YmVsaWV2ZSB0aGF0IFRob3JzdGVuIHdhcw0KICAgID4gdGFsa2luZyBhYm91dCB0aGUgZGlyZWN0 IHJlcGxhY2VtZW50IGNvbnN0cnVjdGlvbiBpbiBDaHJpc3RpYW4ncyBhbmQgbXkNCiAgICA+IGFi c3RyYWN0IGFyWGl2OjE3MDQuMDQ1NDMuIFdpdGggdGhlIGFzc3VtcHRpb24gImV4by1OYXQgaXMg Y29maWJyYW50IiwNCiAgICA+IHRoaXMgZ2l2ZXMgdXMgYSBmaWJyYW50IHR5cGUgdGhhdCBvbmUg Y291bGQgY2FsbCAic2ltcGxpY2lhbCB0eXBlcyIgKGFuZA0KICAgID4gVGhvcnN0ZW4gZG9lcyku IEJ1dCBvZiBjb3Vyc2UgaXQncyBhbiBlbmNvZGluZy4gSWYgd2UgZGVjaWRlIHRvIHVzZSBzdWNo DQogICAgPiBlbmNvZGluZ3MsIEkgZmVhciB3ZSBtYXkgbG9zZSB0aGUgbWFpbiBhZHZhbnRhZ2Ug dGhhdCB0aGUgImF4aW9tYXRpYyINCiAgICA+IHJlcHJlc2VudGF0aW9ucyBpbiBIb1RUIGhhdmUs IG5hbWVseSBhdm9pZGluZyBlbmNvZGluZ3MuIChJIG1lYW4gdGhlDQogICAgPiAibWFpbiBhZHZh bnRhZ2UiIG9mIEhvVFQgY29tcGFyZWQgdG8gdHJhZGl0aW9uYWwgYXBwcm9hY2hlcywgZS5nLiB0 YWtpbmcNCiAgICA+IGJpc2ltcGxpY2lhbCBzZXRzLikNCiAgICA+DQogICAgPiA+PiBZb3UgbmVl ZCBzb21lIGV4dHJhIHByaW5jaXBsZXMsIGUuZy4gdGhhdCBzdHJpY3QgTmF0IGlzIGZpYnJhbnQg b3IgbWF5YmUgYmV0dGVyIHRoYXQgY2VydGFpbiBjb2luZHVjdGl2ZSB0eXBlcyBleGlzdC4NCiAg ICA+ID4gUGVyc29uYWxseSwgSSB0aGluayB0aGUgYmVzdCBheGlvbSB0byB1c2UgaGVyZSBpcyB0 aGF0IGV4by1OYXQgaXMNCiAgICA+ID4gKmNvZmlicmFudCosIGkuZS4gUGktdHlwZXMgd2l0aCBk b21haW4gZXhvLU5hdCBwcmVzZXJ2ZSBmaWJyYW5jeS4gIFdlDQogICAgPiA+IGRvbid0IGtub3cg aG93IHRvIG1vZGVsICJleG8tTmF0IGlzIGZpYnJhbnQiIGluIGFsbCBoaWdoZXIgdG9wb3NlcywN CiAgICA+ID4gYnV0IGl0J3MgZWFzeSB0byBpbnRlcnByZXQgImV4by1OYXQgaXMgY29maWJyYW50 IiBpbiBzdWNoIG1vZGVscywNCiAgICA+ID4gc2luY2UgUGktdHlwZXMgd2l0aCBkb21haW4gZXhv LU5hdCBhcmUganVzdCBleHRlcm5hbGx5LWluZmluaXRlDQogICAgPiA+IHByb2R1Y3RzLg0KICAg ID4NCiAgICA+IEkgY29tcGxldGVseSBhZ3JlZSB3aXRoIHlvdXIgcHJlZmVyZW5jZSBmb3IgdGhp cyBheGlvbSA6LSkNCiAgICA+IEJ1dCBUaG9yc3RlbiBkb2VzIGhhcyBhIHBvaW50IGlmIHdlIGNv bnNpZGVyIHRoZSAiZW5naW5lZXJpbmcgbGV2ZWwiDQogICAgPiB0aGF0IHdhcyBkaXNjdXNzZWQg ZWFybGllciBpbiB0aGlzIHRocmVhZC4gQWxsb3dpbmcgY29pbmR1Y3RpdmUgdHlwZXMNCiAgICA+ IHdpdGggZXhvLU5hdCBhcyBhbiBpbmRleCBtYWtlcyBpdCBwb3NzaWJsZSB0byB1c2UgeW91ciBw YXBlciAoSGlnaGVyDQogICAgPiBTdHVjdHVyZSBJZGVudGl0eSBQcmluY2lwbGUsIGFyWGl2OjIw MDQuMDY1NzIpIGFuZCBnZXQgYSBjb25zdHJ1Y3Rpb24gb2YNCiAgICA+IHNlbWktc2ltcGxpY2lh bCB0eXBlcyB3aGljaCBpcyBtb3JlIGNvbnZlbmllbnQgdG8gdXNlIGluIGEgcHJvb2YgYXNzaXN0 YW50Lg0KICAgID4NCiAgICA+IC0tIE5pY29sYWkNCg0KCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkg YXR0YWNobWVudCBhcmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkg Y29udGFpbiBjb25maWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRo aXMKbWVzc2FnZSBpbiBlcnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRl IHRoZSBlbWFpbCBhbmQKYXR0YWNobWVudC4gCgpBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVz c2VkIGJ5IHRoZSBhdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QKbmVjZXNzYXJpbHkgcmVmbGVj dCB0aGUgdmlld3Mgb2YgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwKY29tbXVu aWNhdGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9y ZWQgCndoZXJlIHBlcm1pdHRlZCBieSBsYXcuCgoKCgo=