{"entities":{"Q1184039":{"pageid":1194788,"ns":120,"title":"Item:Q1184039","lastrevid":66296835,"modified":"2026-04-12T08:56:11Z","type":"item","id":"Q1184039","labels":{"en":{"language":"en","value":"CABool is monadic over almost all categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33996"}},"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":"Q1184039$3E4EC9AE-8380-4DA2-9790-161C66CF3968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c11603ed3bbfda405d32e2a26d05f8303f7bda44","datavalue":{"value":{"text":"CABool is monadic over almost all categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184039$38DF6010-D0EF-4507-8F44-4336A5C4287F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c11863a2b3d78003c9028cb518f6957de5fdcc99","datavalue":{"value":"0761.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184039$DE7F00D4-1DDE-4D50-815B-F82196142F5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8621f0a6528a9a1d73e8061045b8f34ee9e30226","datavalue":{"value":"10.1016/0022-4049(92)90086-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184039$05CEA4A5-4CE2-4BF0-BE5E-3630CDABC68D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66a6ddea8871f9f356e5b7dc9f8bda12c95302","datavalue":{"value":{"entity-type":"item","numeric-id":232628,"id":"Q232628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$D188943D-527B-4E83-8E70-30DA6B4BB441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$EF72CE0C-5D1A-4F82-8F51-DBAD618FE9C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1184039$B2965DD3-0702-45CF-B848-8ACC862E26EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcf8aeffff59f80363eb9d150444219fa7a2dcb6","datavalue":{"value":"Let \\(U: \\text{Set}^{\\text{op}}\\to{\\mathcal C}\\) be a functor having a left adjoint \\(F: {\\mathcal C}\\to\\text{Set}^{\\text{op}}\\). Then \\(F^{\\text{op}}: {\\mathcal C}^{\\text{op}}\\to\\text{Set}\\) is representable by the object \\(A=U(1)\\), and \\(U\\) is the functor \\(A^{(-)}\\) exponential with base \\(A\\). Let \\(\\mathbb{T}\\) be the monad on \\(\\mathcal C\\) generated by \\(U\\), \\({\\mathcal C}^{\\mathbb{T}}\\) the category of \\(\\mathbb{T}\\)-algebras, and \\(\\Phi: {\\mathcal C}^{\\text{op}}\\to {\\mathcal C}^{\\mathbb{T}}\\) the comparison functor. The paper gives a concrete description of the \\(\\mathbb{T}\\)-algebras and \\(\\mathbb{T}\\)- morphisms, and proves, under mild conditions, that \\(\\Phi\\) is an equivalence of categories and therefore that \\(\\text{CABool}\\sim\\text{Set}^{\\text{op}}\\) is monadic over \\(\\mathcal C\\). Moreover, a skeleton of \\({\\mathcal C}^{\\mathbb{T}}\\) is, up to isomorphism, proved to be a reflective subcategory of \\(\\mathcal C\\) if and only if there exists no unnatural isomorphism between powers of \\(A\\). Some examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$2015AF69-58F4-43F7-A6E4-6FDE99751BCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184039$7DC298A4-D2FF-467C-B3D8-20056CCD5D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184039$DA999612-A778-4DB9-8238-6A52F79EAA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9911b3c43eda59be694122745c9dd9399d4142","datavalue":{"value":"33996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184039$6545FA06-FDE4-48DA-AA47-0429B1F2D9CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9de7184045ac05c68cb57818b7d2d31dad2e2e5","datavalue":{"value":"complete atomic Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$08151507-4F21-44C3-807B-5CC4F461D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$B8810947-19EA-4E82-9001-68949E06A419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c844f777aade7d66d5507a8365e3bfa7fcedf6f","datavalue":{"value":"comparison functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$B01DC623-EF60-4CD8-98F3-7A13940DB370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04388f9e5e1a783c71568d6857dc6bc7fe8cdd5d","datavalue":{"value":"equivalence of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$C9A0C974-61C3-4CA9-853E-F536E595B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d2d5af916677cda6e00167d8e60bf3faac75db","datavalue":{"value":"skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$0FD271FD-1765-4BFE-852B-067FF7F53448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184039$469AC356-8E40-4138-9708-97A490A479AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$5D10DE4C-B26B-4C6E-98C3-DA6939AE0FED","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":"Q1184039$AD2A581E-B3E1-4023-B3A5-1769C30FB688","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c507f286febc8ee44fd0ab1fbf10b128078bdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3874761,"id":"Q3874761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$DC08DE69-06A5-4EB1-ABD6-B684B2A0CDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$B70103C6-082F-4E66-9E87-A82F3D07C4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b3f2a8490484ad5801e62abc7468edb8ec6948","datavalue":{"value":{"entity-type":"item","numeric-id":1096915,"id":"Q1096915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$E4A82539-0A9B-40AF-BC70-C69847724552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3545356a0aafd994800ed724ad387bf8b32dbf68","datavalue":{"value":{"entity-type":"item","numeric-id":5612499,"id":"Q5612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$E1D9F790-5C07-46EF-BB67-2C39CA2E5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$08490F44-EC7C-4F47-A079-6679CDDB97E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$CFFBD57F-C9DC-404A-A71D-CFF1F6493993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$B3D1273A-94D8-483E-B9D9-1528B8ABF77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d154f665b8714ca2b3c8ea48f43ecb57a1139db4","datavalue":{"value":{"entity-type":"item","numeric-id":4519573,"id":"Q4519573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$3BE2FA36-5B2A-4257-AFC7-84AABC8F50B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7762a509cba7f01a1855dcf93936030d06ed8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4102451,"id":"Q4102451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$2DA6C5AC-9787-4602-B645-EDA77A0DCF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$A8D9B3B5-9E44-4D94-B00F-7E07F069DE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4cbe595b15349f90bcf2b44e2a214540ec02bb","datavalue":{"value":{"entity-type":"item","numeric-id":3358922,"id":"Q3358922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$2CEA4E8F-2518-4890-BED9-979166F9C273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dfae67e188c6c4db3610edf89078f4e2060e10","datavalue":{"value":{"entity-type":"item","numeric-id":3960996,"id":"Q3960996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184039$D4A4DF8C-0329-42F2-9BDA-0B51FA65A858","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2daca9fcad4131776a93f2a32542851ff9d3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3982076,"id":"Q3982076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718a54e0a5fa7f1592c076edc2052e7b13c9ae39","datavalue":{"value":{"amount":"+0.8894249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$D26FB594-E93E-452B-8534-ABA455E05B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34dc70472af176beb99d1346fd865e67edc3bede","datavalue":{"value":{"entity-type":"item","numeric-id":4680359,"id":"Q4680359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e5517c70c94ae6542011bbf7060cb7b32b204c","datavalue":{"value":{"amount":"+0.87377614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$CEB5CDA8-EB26-4A6C-8FB7-FDC6A71B44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c9f140a842c9c9ca2a6778212d7c59370c9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2842822,"id":"Q2842822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e5517c70c94ae6542011bbf7060cb7b32b204c","datavalue":{"value":{"amount":"+0.87377614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$31C210EC-6C81-4B02-8BD5-7DFDF6595F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d945a0fcf6ef701bf5c729f9980c9ec88151002","datavalue":{"value":{"entity-type":"item","numeric-id":4884283,"id":"Q4884283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b59f4756315965a29e55cb60e8cc37d6a01e16","datavalue":{"value":{"amount":"+0.871638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$09125E13-ABC3-430B-AF1B-8CF2F6E1AF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ec49587d5a0c1df6bf6fc341690934f201f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":722244,"id":"Q722244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5588276e7217683837af26d5ee690e3d2116ea","datavalue":{"value":{"amount":"+0.8656854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$93655EC9-3E54-47B6-B4FD-B10AF7E3D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd87ac882b7bed89fdb8c0bce0e07729210c678","datavalue":{"value":{"entity-type":"item","numeric-id":4675787,"id":"Q4675787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af930186bbc78aa44512658bc43e4ba0777507a0","datavalue":{"value":{"amount":"+0.86397386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$00471DAC-41D0-4F10-8479-1D74730E3719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d0caf77b8ba7a2f2e9c21cd7fee57938c70766","datavalue":{"value":{"entity-type":"item","numeric-id":734798,"id":"Q734798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54662f7b9b2fed84f82cda9987300881c5d91af","datavalue":{"value":{"amount":"+0.86091137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$A7B3D5BF-9B73-4B1D-B779-F2B68E6C25A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382d5d2cf6c066c8e0e57810b2f7ce54291483e1","datavalue":{"value":{"entity-type":"item","numeric-id":2942781,"id":"Q2942781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e3b7863362edb4e2733bf7f682a5767a4a1700","datavalue":{"value":{"amount":"+0.8594894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$90383600-6FDE-4D84-ADDC-131B81DDEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f683850f00982e689de9c7c11754111bb333776","datavalue":{"value":{"entity-type":"item","numeric-id":5949341,"id":"Q5949341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee9436bf73c3d4c554c9ff612f5a60a1f00f0c8","datavalue":{"value":{"amount":"+0.8583518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$EB86D63E-4749-47F1-8BE7-B4D43255A7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32948bc1778bf21db67494dd3862f10464d638","datavalue":{"value":{"entity-type":"item","numeric-id":3517572,"id":"Q3517572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ff1d8ab269c6c774afa9c15a7f24ab2e30f65a","datavalue":{"value":{"amount":"+0.8532916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1184039$1ADDD49A-1B31-49F1-8EAE-6F35B58E015C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CABool is monadic over almost all categories","badges":[]}}}}}