{"entities":{"Q506954":{"pageid":508721,"ns":120,"title":"Item:Q506954","lastrevid":77897357,"modified":"2026-05-06T10:18:57Z","type":"item","id":"Q506954","labels":{"en":{"language":"en","value":"Construction of models of bounded arithmetic by restricted reduced powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680062"}},"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":"Q506954$795AEFA7-3A3D-47D6-BE09-C5BFF2A926BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de893442970829a056825df5371af141313ad21c","datavalue":{"value":{"text":"Construction of models of bounded arithmetic by restricted reduced powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q506954$1266485A-82D0-4457-91A1-043C6CDC2799","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7ddce2410330474dad347781d88508f50c801c","datavalue":{"value":"1380.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$F65666F3-A6A8-432A-B0C6-88C48B2FF471","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1e78f24de2e0af3b81e99cbfe00a1cf71bfac5","datavalue":{"value":{"entity-type":"item","numeric-id":506953,"id":"Q506953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$64600145-7DE3-4AA4-AFEC-4403F13343EC","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":"Q506954$B22928F1-CA33-4A8F-98CF-7F5C222151A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q506954$143E1722-C22B-4A24-9034-980A866D9327","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c652361bb3f292f1e9e8501b1cc283f3b16f3aa","datavalue":{"value":"The paper is devoted to models of bounded arithmetic. The general aim is to construct extensions of models that preserve the set of lengths (and, consequently, polynomial-time computable properties) and satisfy some amount of bounded induction, yet are not elementary, so that they can be utilized, e.g., to prove independence results.  Specifically, the author studies variants of \\textit{restricted reduced powers}. He presents two constructions of such powers. Construction A is simple, but appears to be of limited applicability; nevertheless, the author shows how it can be used to reprove a form of Buss's witnessing theorem. Construction B is technically more complicated (both in the statement and in the proof), but it is more flexible than Construction A.  The paper includes an interesting application of Contruction B to the open problem of separating the theory \\(R^1_2\\) from its strict variant: it is shown in the relativized setting that \\(\\mathrm{strict }R^1_2(\\alpha)\\neq R^1_2(\\alpha)\\), assuming that the existence of one-way permutations is hard for polynomial-size circuits (on any non-negligible subset of the domain). In fact, the author proves that under this assumption \\(\\mathrm{strict }R^1_2(\\alpha)\\) does not prove the bounded choice/collection/replacement schema \\(\\mathrm{BB }\\Sigma^b_1(\\alpha)\\), which is well known to be provable in \\(R^1_2(\\alpha)\\). Furthemore, if one can find such a one-way permutation definable by a term in the language of \\(R^1_2\\), we obtain even the unrelativized separation \\(\\mathrm{strict }R^1_2\\neq R^1_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q506954$6BA4180D-AD23-46E4-8706-77F9D9DD28BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$A00AB7CE-871A-479C-9DC2-B77B2AF46819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$EDCEEEFF-66C4-40C5-8B4C-93BDCCBC1096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$CEF1C80F-8C08-4E91-BE2C-C45981667645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$C2BC299F-6802-43A5-AC4D-47697DE172E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$103FECD4-499D-40E4-8BD3-0C036761FA5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51405284d8e89c938fa6d04192af6164e3aee5c7","datavalue":{"value":"6680062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$C134B914-0160-4964-922C-D6175AA90F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q506954$E1339F35-808B-465A-BDB4-E61ABD1DB71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q506954$8EF8BF93-E166-4AC9-A639-CCC0C264467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e4069f88df4fe493d01bad88db5046a496de4d","datavalue":{"value":"sharply bounded collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q506954$59F644E8-6BD0-4E4E-B749-E66D05F63F07","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":"Q506954$D37F2540-2B8D-4021-842B-0D1376A5ABD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d56995a3c0ce117223da401818233a5bedd4f3e1","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0484-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q506954$E47B2DE8-C6D1-4C91-BB96-1A148374483E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89029a40d0b3b91ca6e1890aaa6bca4f857bf069","datavalue":{"value":"W2341717488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$7C5CDAB8-3392-4612-9B59-1786CC5CA0D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f39c2c83dbbb50b5b0bb84dd916cc610bc3a4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5425417,"id":"Q5425417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$0A27F9DF-E9C2-45EC-9A99-0A0E3505333B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7862c5cf24dcd05046e8cd65473dc4c295dd56e","datavalue":{"value":{"entity-type":"item","numeric-id":787136,"id":"Q787136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$0C423C50-8C20-460B-AAB2-98F0066CEE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59da2a1d5903b23f997f8d378342ceffb4fc5166","datavalue":{"value":{"entity-type":"item","numeric-id":1176198,"id":"Q1176198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$2032CF05-43ED-4EF5-AC58-90AA81799A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$0CA17592-7874-4593-A82A-18563D89F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb41c607988923790c09d27b16643fbcc2167fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$E3CF5F44-D634-4252-A0EF-8DF0086A5EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842af2467e6c06f3199c66287f8b0603947136cb","datavalue":{"value":{"entity-type":"item","numeric-id":5277762,"id":"Q5277762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$7020E3B4-F099-4E10-859E-2F16216183AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de19300137644df6460f485c3d23d32b6bd94963","datavalue":{"value":{"entity-type":"item","numeric-id":2339960,"id":"Q2339960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$16273A3B-0A88-46F8-AE75-77525084C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$292DCFA8-E751-4EAF-9CB2-EA61ACEDCAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b6733c4750b5f1a97e097b690f1c9e66cb24d7","datavalue":{"value":{"entity-type":"item","numeric-id":4944913,"id":"Q4944913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$EB6739CC-EB1C-4567-8EAC-00BF98D955C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$26EE096A-C2C1-4FED-BF20-DF6FC5FD4E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef29b56e4c05746c3713464f8e75343f13c55a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3476273,"id":"Q3476273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q506954$C05A7FE7-D9AE-4324-A27A-C1314EDF66B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeddbbd6efb213e3965081aefc9f73c0ca46aa0c","datavalue":{"value":"10.1007/S00153-016-0484-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q506954$283EFE49-9744-431E-8FB4-339F0BC32C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdefb29430723d5974a07175447ebbb034402f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5693580,"id":"Q5693580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21337d3efa5ce64aeb4cba90d96fd99e75ea3c6","datavalue":{"value":{"amount":"+0.9248589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$C22699D2-CCA7-42A2-B34B-22E740B9411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc696bed73d05fe540e578873bb0de8c1f6db1a5","datavalue":{"value":{"amount":"+0.92439514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$82A7E09F-D6B5-4473-A18D-36DA5F3BD8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e795ad04a6bd266a16aeaa4d326ccff8390ac8d","datavalue":{"value":{"amount":"+0.89179885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$3FB4D9AB-CCE3-4654-B0D5-63585A9E295B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5101dc80df8bbeb7c0c060beb2fdcd4045a162d","datavalue":{"value":{"entity-type":"item","numeric-id":4790201,"id":"Q4790201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b229dbd826efd727c2d4cdf1abe3f091c3cec0","datavalue":{"value":{"amount":"+0.8826991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$E9B8E0C1-739D-42E8-B9DA-04DDB695F99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da9999d34f8e4a102258f49ca27d2b9f1c2c90c","datavalue":{"value":{"amount":"+0.881757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$84C10EB9-B2A3-4E62-872B-A6F6505EECEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e60ea3801e51b8c4a47b2f3e23ace2f03e89331","datavalue":{"value":{"entity-type":"item","numeric-id":3414770,"id":"Q3414770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5439a819a2bd1f1401abeace2a14096f4529e083","datavalue":{"value":{"amount":"+0.88077277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$96361595-5CDB-4AEE-8264-DB54339C4780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b943946b84404a16450a14e9ece144a04d09af01","datavalue":{"value":{"entity-type":"item","numeric-id":3826539,"id":"Q3826539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a362ce6da6c37e3343889c70d3ce64ae8898196","datavalue":{"value":{"amount":"+0.87678754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$74DC7F48-C2DB-412B-9A0A-ADA636EB1F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9858b81a660e8f56b18b3674a78bfa2677408850","datavalue":{"value":{"amount":"+0.8761732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$83FC2AAE-37D9-4D16-9591-D65EF0F2EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d1e0629a374304c8c52a3fee803d525b2716d3","datavalue":{"value":{"entity-type":"item","numeric-id":2570136,"id":"Q2570136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f427618ad617672d4da7a19a99fadca729b33ddf","datavalue":{"value":{"amount":"+0.87513626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$D085A920-5F79-4552-8274-71171532A0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71cafed040a61d32f3c8f4e5c497443926404508","datavalue":{"value":{"entity-type":"item","numeric-id":4314684,"id":"Q4314684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedeac9e906afcca20b2ce0035ff6a258ea0db96","datavalue":{"value":{"amount":"+0.87371826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q506954$D9A0398B-F9C6-474C-A517-B556E8C7BD68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of models of bounded arithmetic by restricted reduced powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_models_of_bounded_arithmetic_by_restricted_reduced_powers"}}}}}