{"entities":{"Q2312096":{"pageid":2322839,"ns":120,"title":"Item:Q2312096","lastrevid":53470022,"modified":"2026-01-25T00:29:45Z","type":"item","id":"Q2312096","labels":{"en":{"language":"en","value":"A flexible type system for the small Veblen ordinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7077056"}},"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":"Q2312096$0A6957F4-0478-4606-9906-3B91D4052B2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b6de30690ed9662fdc288fc36af27225d6a741","datavalue":{"value":{"text":"A flexible type system for the small Veblen ordinal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2312096$725E33F8-21C3-4292-83C2-08D2ACDAB187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a53efeb20748c67edecf5307a27c732cbe6a119c","datavalue":{"value":"1439.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$4DEE744D-9311-426A-A258-A92ED88CA969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a9a7d585be6301497824b2b7a4c0daae838112","datavalue":{"value":{"entity-type":"item","numeric-id":2312095,"id":"Q2312095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$D21D18A2-801F-41E1-A70F-4B1CDA7A2A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$6CC364CC-94FB-44ED-B983-A3C272D62C4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$FE145B6B-B29E-4706-89CA-1808ED9817C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2312096$79018AB5-0A08-4046-B7DD-A0B4F7FD576A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15736e463e486d13ba56f5b243a5435133d7c96b","datavalue":{"value":"https://boris.unibe.ch/133882/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2312096$B435C45D-C5DE-4A81-BD5C-60268F5EF405","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6ef47637c0de341e03fa886f442ba87b0eb6eba","datavalue":{"value":"This article provides a proof-theoretic analysis of two impredicative theories of inductive definitions: FIT, a theory of inductively defined functions over an applicative base theory, and TID, a typed subsystem of inductive definitions over arithmetic. Notably, the authors employ so-called `metapredicative' methods only, namely proof-theoretic methods from the realm of predicative proof theory.  The two theories FIT and TID are shown to be proof theoretically equivalent and to have proof-theoretic ordinal the small Veblen ordinal, the ordinal \\( \\vartheta \\Omega^\\omega\\) in the notation of \\textit{M. Rathjen} and \\textit{A. Weiermann} [Ann. Pure Appl. Logic 60, No. 1, 49--88 (1993; Zbl 0786.03042)]. Lower bounds are proved by presenting well-ordering proofs within the theories for ordinals below \\(\\vartheta \\Omega^\\omega\\), utilising Sch\u00fctte's `Klammersymbol' notation system for the small Veblen ordinal. Upper bounds are obtained by embeddings into the second-order system \\(\\Pi^1_3\\text{-RFN}_0 \\) of \\(\\omega\\)-model reflection for \\(\\Pi^1_3\\) formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$320D3625-BF3E-4758-9B24-D40271F49B09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f9e0fdcb88010dc9358438c08e50b4bf5198c600","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$808B8E0B-34F6-4E33-8423-45343781BB56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$0D36063A-2DF4-44A5-A3AF-A31FC9953B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$CD9127B3-E8B1-4220-80CF-07D848C8553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$B35A41E8-33F5-4FF9-9F18-827B3EDB7A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$6025A47F-E856-48DA-9E33-34356B43EDB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99547efa5faed9df04615cde7e4d541138e8e5ba","datavalue":{"value":"7077056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$48821139-3BAB-4FE1-AD4B-FF6D14D75CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$53E1A140-9F6D-4042-BDD5-2EF661117173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$71B683C5-82D1-438A-9396-B2684768DB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$543C06AF-CA3A-4353-80F5-12075B2C1CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684fca4b3db589ce0f1f788306fbc7a4aa231d3","datavalue":{"value":"small Veblen ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$06F37F0C-FB9F-41F2-AE56-F24145302FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0eac9ba39dfe462eb69c1f8736f3c238d65a90","datavalue":{"value":"finitary Veblen functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$805C490F-CD91-4071-BCAA-5602F25E3D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55df525daeee306ce3ea7305f8de22d78ced22bf","datavalue":{"value":"metapredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$B8AA189C-E865-4EF1-9EDB-4A296A215199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312096$5BF77034-749E-4C01-99F1-B4DADB3EDF16","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":"Q2312096$1614EFAC-B256-4C07-AD20-7383337468AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0f0fbc5406cab2ccb6c8c6e12e55f4716feb272","datavalue":{"value":"W2913519259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$10744E75-139C-40A0-8841-D5EFDBDC6EC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0e990de8f6acd44e2bf0e6eca779ea6c8397d","datavalue":{"value":{"entity-type":"item","numeric-id":2267752,"id":"Q2267752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$BC6B0A8E-A9DA-4BBD-8ED6-695466A0B4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$567E42D0-874A-45D6-B89E-031C16B1EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$2CEFCEC1-3EF8-4380-835F-8430160ADE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$5CF3A4EE-1329-4093-8C7C-801193FE27D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$48F5EC3C-EAEB-4AAB-9122-14543AE908E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd1d94bc319699d254d4c4f6cf52ac36e9017cb","datavalue":{"value":{"entity-type":"item","numeric-id":3305550,"id":"Q3305550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$F89F602E-33BE-409A-A743-45E5BA526275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$56C63635-E7D5-438B-A444-9EDA725FE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$FA84CC74-07B6-407D-AF4D-291BE8CDFFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7688551f090e9181f0269fd49ffdb1e72e2e175c","datavalue":{"value":{"entity-type":"item","numeric-id":3138832,"id":"Q3138832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$8822B412-77A1-45CA-9266-3231B0166A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a6a1455ff027a7734743b0fbbe2d81d4eb180a","datavalue":{"value":{"entity-type":"item","numeric-id":5316376,"id":"Q5316376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$1BE6F3F4-F47F-4D8F-ADC8-F3A7AE18902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$A46FEE25-704A-4FAA-8A92-5E0B8C47F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9187b8180b23a3a0d8afd378eaa2b49c493b49","datavalue":{"value":{"entity-type":"item","numeric-id":1302306,"id":"Q1302306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$3E2FD128-9D73-4BEC-AB66-023C05942F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd69c5caa797f9bc21811d7af6578fc631df364","datavalue":{"value":{"entity-type":"item","numeric-id":2566068,"id":"Q2566068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$1D7805B3-2DA0-47DA-A82A-7B56037C7744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce06ac1a04494bb7d8c85be4c61fb1875844ce3","datavalue":{"value":{"entity-type":"item","numeric-id":3410669,"id":"Q3410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$1864AD2D-291E-4730-8B32-9051FDD74713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$E9ED6030-F202-4161-A90D-5F9273A66FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ffdb5f609972b5e61b742f9aacd4fe427f5eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2651619,"id":"Q2651619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$BED76A6B-536E-45B5-9C05-6522475FDDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$9A0568CA-97AE-42C1-8B8E-B50276391AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab695f6ca892767fcc28ad56cbfb6e401ee2f69","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$FEBAA9BF-24F4-4437-8674-670683BB5B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8007eb1b070aba3b21686a5ccabfba9c605dd31","datavalue":{"value":{"entity-type":"item","numeric-id":512137,"id":"Q512137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312096$5F21D344-23A5-435C-9D32-B7F15DF07D9D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1388b812e19048a58b9b9b1409e9d56104b6b43c","datavalue":{"value":"Q128502085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$10257148-DD93-4263-9320-977E15A4AB92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ac03ea1a0b4c6140b2604aac4ef1e454fbbd8d","datavalue":{"value":"10.1007/S00153-019-00658-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312096$BAA10817-5676-4B91-AD25-BC5BF88BBF1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b893d0fe6537bdf6de922ff97b37331fdb5c75b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09166afa3dfa8a518636249d700896866d646848","datavalue":{"value":{"amount":"+0.7707253694534302","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":"Q2312096$E7CC8E3C-1FE5-4A7C-82B2-A090745C1EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc8b48c0acf1d2fd8aee1bcd2f9bf9ae25646286","datavalue":{"value":{"entity-type":"item","numeric-id":5945010,"id":"Q5945010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17eb3d996b73b1f7fc03410e26ab4e86e8514281","datavalue":{"value":{"amount":"+0.7698187828063965","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":"Q2312096$0D9408C9-CB2E-40A4-8D96-BCDD80CA2D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359cf0172b23b947f5e91a4f75a809020da11739","datavalue":{"value":{"amount":"+0.7521329522132874","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":"Q2312096$2EBB7EA6-1C1C-4201-B0E5-7700B48E19B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40e7740200e34c233f2e8f915fdaf46318b27e","datavalue":{"value":{"entity-type":"item","numeric-id":1102955,"id":"Q1102955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359cf0172b23b947f5e91a4f75a809020da11739","datavalue":{"value":{"amount":"+0.7521329522132874","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":"Q2312096$9025BBEC-E466-4453-8C4C-0F931B886740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f1cde2766d35c13522885aebafc4ae650245","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6119cfadef2af6d1eb3b360078419cb030a876","datavalue":{"value":{"amount":"+0.7476434707641602","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":"Q2312096$01A6988A-A0E3-455E-A097-107544274055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2312096","badges":[]}}}}}