{"entities":{"Q922718":{"pageid":924566,"ns":120,"title":"Item:Q922718","lastrevid":49425496,"modified":"2026-01-07T03:29:47Z","type":"item","id":"Q922718","labels":{"en":{"language":"en","value":"A modest model of records, inheritance, and bounded quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170117"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$EE26DFAE-D8E2-4F7D-8D46-59F887370E6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d951c64de2ca26099108b9f1afc548f399fa8b5b","datavalue":{"value":{"text":"A modest model of records, inheritance, and bounded quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922718$9F0A22FE-8BAE-4FB1-9283-A7C9466B6D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df1e2a7ad32ced6346459ee3128a88e17cb71f1","datavalue":{"value":"0711.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922718$A8451721-2962-4D73-B88D-382523BB2887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2796eb418fb6facab270a32e97e6ebf925bc0d46","datavalue":{"value":"10.1016/0890-5401(90)90062-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922718$035AE65B-E40B-404F-927C-4F881894AE7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98fec3557092856a170ce9a1aafd90c4f7da6f39","datavalue":{"value":{"entity-type":"item","numeric-id":751292,"id":"Q751292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$36CFCE84-1BDE-4F9A-A83C-ED1A58893FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$6BEE355C-1C1A-4769-9F8F-B9DA6039C12F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$A2D4623D-AB66-443E-89E6-EAB58871D2CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q922718$2C028D28-02B6-4045-8959-EC1200212999","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32ce0549b572d64748af3f6f33b30e72d3e1369f","datavalue":{"value":"The paper presents a formal semantics for the language bounded fun from Cardelli and Wegner (1985). Bounded fun is an extension of second-order lambda calculus supporting both parametric and subtype (inheritance) polymorphism. Partial equivalence relations are used to model inheritance in this language in the presence of subtype and record types.    The technical part begins with an introduction to the typed lambda calculus with records and subtypes. It follows a discussion of its model- theoretic semantics based on partial equivalence relations. Syntax and semantics of the language minimal bounded fun and an extension of it are presented, which are modifications of bounded fun. Based on these languages, the semantics of bounded fun itself can be defined. A generalization of partial equivalence relations, called \\(\\omega\\)-sets, are used in combination with modest sets to provide a model of bounded fun with explicit polymorphism. The paper ends with a discussion of principal problems arising with the chosen approach and its relation to other recent work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922718$B461CE3B-1FF2-4C04-9FF6-FEA50D21A8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922718$D0676D31-E77E-4EA6-8802-E97DA044C5A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06bc47da51e14955b169aedc63ce824179d4e80","datavalue":{"value":"4170117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922718$38446945-DD6D-4B52-8B8D-83527181E3E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad186233ec54dd3123e24bc90cc48ffaa114ceee","datavalue":{"value":"semantics of inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q922718$73B65CE8-168C-481C-800F-6C835DD05635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q922718$B2858FCC-48D5-4122-8674-D133C8133AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29825f2934338cc177887a0481dab189239370aa","datavalue":{"value":"second-order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q922718$7AA2FBC7-3102-41E5-8079-65DA6923B2B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9f5bf0986b07d1de753b9b8d8aff013cf51653d","datavalue":{"value":{"entity-type":"item","numeric-id":1095681,"id":"Q1095681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$9A94D1F2-84D3-4476-A9A1-3FC6874E4499","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$DAB10161-CB1A-41D8-A820-8C248883C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$44898877-6F3E-41F0-AC6D-B17DB664A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$DD93E291-11C8-41DC-B8A3-4BD4C5351325","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$9B7CC0BD-1764-4375-AD43-0451A9A8EF02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$C3589539-078A-47CE-80DA-0CC2F7331FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$12B7D8C5-3062-4CB8-ADCB-E912550B5D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$1FC3945E-EB4A-425F-B648-3500547F9643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$366CC2F6-C180-460A-A9D2-CABBA49A6BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e27ce7076971f426a2874f2795f13bc2fc8aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$F15ECF30-A579-4950-9F3C-28C9B2113681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$A45AA1A1-0875-44EC-AEDC-20853263CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$6959D7A0-5C77-40AC-B051-05FDE3C2B00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$ABCBFA34-9A2C-4708-B5BA-DCD4DC951369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8966d0bcab508f68b1c88a02351f52a4ddc1e757","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$F0D6B74C-A6A7-4B5D-BFCE-1394D78B911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$B5B947A1-44F4-442B-8A3D-DD002ACCBFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$FEA4C973-35F5-44E9-92E0-1B3E96010190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$6556FB01-F7CA-462B-B6D7-A448176A6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$0D941F52-FF49-4A5F-BE39-284848A34F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$41120468-BF07-4D40-9978-CF734B07FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6522c7daa9427301a7d70930f9e15b7076354da4","datavalue":{"value":{"entity-type":"item","numeric-id":1120558,"id":"Q1120558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$97BDED89-7902-4EAA-8866-AF61C0126DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$50E5AAEB-9E6B-49EB-AB35-3E3CFDDABFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$F89A2BA2-6144-41E4-9442-793BA8D275AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$81A6E573-A166-4204-AF99-E047A5210C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$C536F1A0-238C-46BA-BC01-2DEE2695B3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$BADD61E4-F5C1-46D3-9E69-01EFDAA5B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c710e855a61cc8b7548a0edc8f8269daa05d811","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$2CCA3D7C-3BED-4AA6-B0F5-FB126E9CE55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$559DA22C-1EE8-4088-B369-E7081671ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51203819ed1614e3b2865dff5f44859bd6c482a","datavalue":{"value":{"entity-type":"item","numeric-id":3750106,"id":"Q3750106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$463CAAE6-AB09-4187-AF8E-3E58FADD13B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$8C5F4EB8-0D9F-4BDB-90D9-EDB2CD23FB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5465485a43d2325fb299c46b9cd69c91789ae02a","datavalue":{"value":{"entity-type":"item","numeric-id":3204026,"id":"Q3204026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922718$7B3AC430-65B6-4F33-977B-392893E1A06D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2229cac12bc0912a24476c484d52842b0aa3ea8d","datavalue":{"value":{"entity-type":"item","numeric-id":4855338,"id":"Q4855338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fec41d868fa7c9c1d8ccbd8eea78bb06944a11","datavalue":{"value":{"amount":"+0.8619776368141174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922718$A6A88A00-CC1F-4446-9358-35C19BA5D586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9008939d464ba9759b4935bd935b2736a93403fd","datavalue":{"value":{"entity-type":"item","numeric-id":4855339,"id":"Q4855339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a07831c9d8cbf5623e3f00392fa3bb602ca21f","datavalue":{"value":{"amount":"+0.861791729927063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922718$41FF5F66-D0AE-452B-B9C3-35C895AAF5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd09690e3e8e3f10f5f1e81dda72e632260f3df","datavalue":{"value":{"entity-type":"item","numeric-id":1854309,"id":"Q1854309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28b67cdd53dc723fc1265a33a3163cbe081324f","datavalue":{"value":{"amount":"+0.7640217542648315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922718$C77D041B-7BA5-42CD-9B11-66D34BFE5E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6750c60ee8bee90392dc78d6b04ba5212ada2cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac40db881e3da5937173d2cf6f41ff02a819e9a2","datavalue":{"value":{"amount":"+0.7615458369255066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922718$B53E6401-9E8B-4DE7-B658-6AFD7ED952ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee3a3403892b4f66e652e5a89a91407811a4734","datavalue":{"value":{"entity-type":"item","numeric-id":1605176,"id":"Q1605176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3885636041c6a06a2768524150f7297befb09893","datavalue":{"value":{"amount":"+0.7610138654708862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922718$EAD49D70-48E0-4FE8-B4E4-0DFF4CE432F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:922718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:922718"}}}}}