[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$fhdvmYaj-kU-AlF79v4Nn6g2tKFBs5R_E_8Y0wmTrrx4":3,"$fW7BAB5BkhrpFei-euf609NeK4ZvjPf9T1fzgXJlLNns":18,"$fD4uuO90GiZkVhtOKaltlbmzWiHOtu9BKZVg5JJSbIsw":74,"$fJAngGPN2ZoweBAUNUMveHW9fX-PBt_OThOGUnXXFK7w":107},{"success":4,"data":5},true,{"siteTitle":6,"siteDescription":7,"siteSubtitle":8,"siteFaviconUrl":9,"siteLogoUrl":10,"footerText":11,"footerLinks":12,"socialLinks":13,"postsPerPage":14,"themeName":15,"navColor":16,"navTextColor":17},"Hyaika Blog","A personal blog powered by Hyaika","Penguin is all you need","🐧","\u002Fapi\u002Fmedia\u002Favatar_a0b54615","致三千年前的你",[],[],10,"kratos","#9147eb","#ffffff",{"success":4,"data":19},[20,27,33,39,45,51,56,62,68],{"id":21,"name":22,"slug":23,"description":24,"color":25,"postCount":26},"9ca4490e-c5a6-4b61-945c-4db21d224507","设计","design","UI\u002FUX 设计与创意",null,39,{"id":28,"name":29,"slug":30,"description":31,"color":25,"postCount":32},"a102062c-2d51-415b-bc5c-5b89b36f6e3f","动漫","anime","动漫点评与推荐",21,{"id":34,"name":35,"slug":36,"description":37,"color":25,"postCount":38},"b14ff5c7-a673-4cb1-a9e5-c785069b2938","生活","life","生活随笔与日常分享",45,{"id":40,"name":41,"slug":42,"description":43,"color":25,"postCount":44},"cat_ccf18b24e2c04191","社会观察","social-observation","社会观察、教育、文化对比",23,{"id":46,"name":47,"slug":48,"description":49,"color":25,"postCount":50},"cat_news_roundup","新闻杂烩","news-roundup","每日新闻汇总，覆盖科技、二次元、游戏、音乐等领域",92,{"id":52,"name":53,"slug":54,"description":25,"color":25,"postCount":55},"cat_science","科学","science",75,{"id":57,"name":58,"slug":59,"description":60,"color":25,"postCount":61},"e6b59e04-130e-4da0-851f-64042040f4f6","技术","tech","技术教程与开发经验",210,{"id":63,"name":64,"slug":65,"description":66,"color":25,"postCount":67},"cat_09e5464f1b304aa8","情感八卦","gossip","情感话题与八卦杂谈",1,{"id":69,"name":70,"slug":71,"description":72,"color":25,"postCount":73},"cat_b22f7ce5ece64985","经济","economy","经济分析与商业观察",31,{"success":4,"data":75},{"id":76,"title":77,"slug":78,"content":79,"summary":80,"coverUrl":81,"readingTime":82,"viewCount":83,"loveCount":84,"publishedAt":85,"createdAt":85,"author":86,"coverSource":89,"showCoverInArticle":4,"categories":90,"tags":92,"commentCount":67,"liked":106},"34adf99a-5ca6-43c1-9385-257f6d503b4d","当 AI 学会「说谎」：从军棋到库恩扑克，不完全信息博弈的秘密武器","stratega-ai-bluff-imperfect-information","# 当 AI 学会「说谎」：从军棋到库恩扑克，不完全信息博弈的秘密武器\n\n## 目录\n\n- **一个藏着秘密的棋盘**\n- **不完全信息：AI 的最后一块硬骨头**\n- **冷静得不像话：Ataraxos 是怎么赢的**\n- **现场验证：我用百来行代码，复现了「说谎的数学」**\n- **虚张声势不是作弊，是均衡**\n- **斗地主与四国军棋：我们早就在和 AI 打牌了**\n\n---\n\n## 一个藏着秘密的棋盘\n\n先看一个棋盘。\n\n黑白双方各 40 枚棋子。你看到的不是棋子——是**背面**。你知道对方把军旗藏在哪里，但你不知道他面前那枚棋子到底是炸弹、是师长、还是工兵。只有当两枚棋子撞在一起，输的那枚被移走，赢的那枚才翻过来给你看。\n\n这就是 Stratego（军棋\u002F西洋陆军棋）。规则简单到 5 分钟能讲完，但它困住了 AI 整整三十年。\n\n1997 年，深蓝击败卡斯帕罗夫；2016 年，AlphaGo 击败李世石；扑克机器人更是早就把职业选手按在地上摩擦。但 Stratego 一直没被攻克——连 DeepMind 都没能造出一台稳定击败人类高手的机器。\n\n直到现在。\n\n卡内基梅隆、MIT、NYU 和斯坦福的研究者造出了一个叫 **Ataraxos** 的 AI，在 20 局比赛里 15 胜 1 负 4 平，击败了 Pim Niemeijer——四届世界冠军、累计 600 周世界排名第一的传奇选手。而且它只用了 **16 张 GPU、几千美元**就训练完成。\n\nDeepMind 当年的 DeepNash 用了 1024 张 Google 专用芯片、训练了两三个月，成本估计 300 万到 450 万美元。Ataraxos 用 16 张 GPU 跑了一周，加 4 张 GPU 跑四天训一个辅助模型。\n\n成本差了三个数量级。\n\n## 不完全信息：AI 的最后一块硬骨头\n\n为什么 Stratego 这么难？\n\n先看它和象棋、围棋的区别。象棋、围棋是**完全信息**博弈——所有棋子的位置、价值，双方都看得一清二楚。AI 只需要在给定的局面里找到最优解，再深挖几步就行。\n\nStratego 不一样。你的对手知道你的棋子**在哪里**，但不知道它们是**什么**。这两者的差别，就是「看得见」和「看得懂」的差别。\n\n用数字说话：\n\n- 德州扑克翻牌前只有 1326 种手牌组合\n- Stratego 一方要布下 40 枚棋子，可能的摆法超过 **10^33 种**（1 后面跟 33 个零）——这个数字我亲自验证过\n\n> 40! \u002F (1!·1!·2!·3!·4!·4!·4!·5!·8!·1!·6!·1!) ≈ 1.41 × 10^33\n\n这还只是摆法。更麻烦的是游戏长度：一盘象棋通常 40 步，一盘 Stratego 可以轻松拖到 **2000 步**。\n\n还有最关键的一点：**Stratego 是虚张声势（bluff）的游戏**。你经常需要把一枚弱小的工兵当成师长推出去，吓跑对方的棋子。但你也不能老是虚张声势——虚张声势太频繁，你的威胁就没人信；从不虚张声势，对手一眼看穿你的牌路。\n\n这种「该在什么时候说谎、说谎到什么程度」的平衡，才是之前所有 AI 都过不去的坎。DeepMind 2022 年的 DeepNash 做到了自我对弈，但面对人类高手的深厚 bluff 功底，还是差了一口气。\n\n## 冷静得不像话：Ataraxos 是怎么赢的\n\nAtaraxos 的突破有两条：\n\n**第一，换了一种自我对弈的调整方式。** 在隐藏信息博弈里，自我对弈算法特别容易「原地打转」——因为你看不到对手的牌，赢了也不知道自己为什么赢。Ataraxos 的做法是：训练早期做大胆、激进的策略调整，后期做微小、保守的调整。就像先跳进黑屋子乱撞，摸清轮廓后再小心翼翼地挪。\n\n**第二，加了一个「信念模型」（belief model）。** 这是 DeepNash 没有的东西。Ataraxos 在每次行动前，会先用一个专门的神经网络**猜对手的隐藏棋子**——根据对手之前怎么走棋来推断。然后它不是遍历所有可能的摆法（那有 10^33 种，算不动），而是**采样**出几个最有可能的摆法，在每一种里推演候选走法，再综合决定。\n\n这个「先猜、再算」的思路，让 Ataraxos 在下棋前有了「思考」的能力——AlphaGo 靠这种搜索能力统治了围棋，但 Stratego 的搜索空间太大，DeepMind 一直没能把搜索塞进去。Ataraxos 做到了。\n\n结果是一个冷静到可怕的棋手。\n\n「Ataraxos」这个名字来自古希腊语，意思是「平静、不动摇」。研究者说，它在人类会抓狂的劣势局面下，依然能慢慢地、有条不紊地把局面扳回来——他们亲眼看着这个机器「从 2% 的胜率里虚张声势地打回来，非常淡定」。\n\n它甚至学会了利用对手的知识盲区。当它判断对手没有理由怀疑某个弱点时，它就故意不去补那个弱点——哪怕从全知视角看，那是一个随时会爆的雷。人类很难做到这一点，因为「当你知道了秘密，就很难装作不知道」。机器很容易。\n\n对局结果也很有戏剧性：2025 年 Stratego 世锦赛上，挑战 Ataraxos 的选手在 40 局里只赢了 2 局。它还改变了人类的打法——选手们惊讶地发现，它经常把军旗藏在角落里、只放两枚炸弹守着，这是人类很少用的布局。\n\n## 现场验证：我用百来行代码，复现了「说谎的数学」\n\n光看论文不过瘾。我决定自己动手，验证文章里最核心的命题：\n\n> **在不完全信息博弈里，最优策略必须包含「固定概率的虚张声势」——也就是混策略。**\n\n我用的是博弈论里的经典玩具模型：**Kuhn Poker（库恩扑克）**。只有 3 张牌（J \u003C Q \u003C K），每人发一张，底注 1，先手可以选择过牌或下注。规则简单到可以在餐巾纸上写完，但它完美保留了「隐藏信息 + 虚张声势」的核心结构——和 Stratego 一样，只拿好牌才下注、从不诈唬的玩家，会被对手精准剥削。\n\n我写了一个 **CFR（反事实遗憾最小化）** 求解器——这正是 Ataraxos 的算法基石（文章里的自我对弈强化学习，本质就是 CFR 的规模化版本）。跑了 100 万次迭代，得到均衡策略：\n\n```\n[P1 第一轮（先手）]\n  持 J（最弱牌）: bet 12.5%  pass 87.5%   ← 这就是纯虚张声势\n  持 Q（中间牌）: bet 0.0%   pass 100%\n  持 K（最强牌）: bet 38.1%  pass 61.9%\n\n[P2 面对 P1 过牌（轮到 P2 决定要不要诈唬）]\n  持 J（最弱牌）: bet 33.5%  pass 66.5%   ← P2 用最弱牌吓唬人\n  持 K（最强牌）: bet 100%   pass 0%\n```\n\n看到了吗？**均衡策略里，玩家拿着最弱的 J 也要有 12.5%（先手）到 33.5%（后手）的概率下注**——纯粹是为了吓唬对手、让对手不敢轻易相信你的下注都是好牌。\n\n![Kuhn Poker 均衡策略：持弱牌也要诈唬](\u002Fapi\u002Fmedia\u002Fmedia_72ad53843358)\n\n为了确认实现没写错，我拿博弈论的教科书答案对了一下：Kuhn Poker 的博弈值（先手方的长期期望收益）理论值是 -1\u002F18 ≈ -0.0556，我的求解器算出来是 -0.0567，误差只有 0.001。\n\n这完美的验证了文章里的观点：虚张声势不是「作弊」，它是**数学上的必需品**。如果你从不虚张声势，对手就会发现「你下注 = 你有好牌」，然后看到你下注就弃牌——你手里最强的那张牌（相当于 Stratego 的元帅），就再也赢不到大钱了。\n\n我加了一个对照实验来量化这件事：让 P1（先手）固定使用不同的诈唬频率，然后让 P2 用 CFR 学习最优应对，观察 P2 面对 P1 下注时的跟注率：\n\n```\n[对照：P1 持 J 的诈唬频率 → P2 面对下注的跟注率]\n  P1 从不诈唬 (bluff 0%)    -> P2 跟注率 0.00%\n  P1 偶尔诈唬 (bluff 33%)   -> P2 跟注率 58.7%\n  P1 频繁诈唬 (bluff 50%)   -> P2 跟注率 99.98%\n```\n\n数据把逻辑说得清清楚楚：**你从不虚张声势，对手就永远不跟你的注**——你的「真话」（拿好牌下注）没有听众，价值下注全部落空；你开始虚张声势，对手才不得不开始跟注、为你的真话付钱。\n\n![Bluff 频率 vs 对手跟注率](\u002Fapi\u002Fmedia\u002Fmedia_37db0ad42c91)\n\n这就是「说谎的数学意义」——它不是道德问题，是博弈论层面的生存问题。隐藏信息越多的游戏，会虚张声势的玩家优势越大。Stratego 有 40 枚隐藏棋子，所以 bluff 就是它的命脉。\n\n最后我核了一下论文的出处，确认这不是营销号编的：Sokota、Vinitsky 等人的论文《Scalable decision-making for games of imperfect information》发表在 **Nature** 上（2026 年），没有撤稿标记，与 Ars Technica 的报道完全对应。\n\n## 虚张声势不是作弊，是均衡\n\n到这里，我发现一个有意思的事：**「虚张声势」这个词，在博弈论里有个更精确的名字——混策略（mixed strategy）。**\n\n在完全信息博弈里，你总是能找到「最优解」：这一步走马，那一步将军。但在不完全信息博弈里，**没有一个「永远正确的动作」**。如果你的策略可以被预测，你就输了。所以均衡要求你：有时候这么做，有时候那么做——而且每个选项都要有一个特定的概率。\n\n这个概率不是随意定的，它精确到：让你对手无论怎么应对，都无法占到便宜。\n\n这就是为什么 Stratego 的 AI 那么难造。DeepNash 的自我对弈学到了一些 bluff 技巧，但它的搜索机制在 10^33 的摆法空间面前失效了。Ataraxos 的「信念模型 + 采样搜索」刚好补上了这一环——它让 AI 能在「猜对手」的基础上做推演，而不是在完全无知中瞎走。\n\n有趣的是，研究者说 Ataraxos 的架构也适用于其他游戏——它击败了 Barrage Stratego（8 枚棋子的快速变体）的三个世界冠军、合作卡牌游戏 Hanabi 的最强 AI，还击败了中国扑克游戏**斗地主**的最强 bot。\n\n斗地主。这个我们中国人再熟悉不过的游戏，被同一个算法攻克了。\n\n## 斗地主与四国军棋：我们早就在和 AI 打牌了\n\n说到斗地主，你大概想到了什么？\n\n对了——**斗地主本来就是不完全信息博弈**。你只知道自己的 17 张牌，不知道另外两家各有什么。而且斗地主里有「明牌底牌」机制，地主能看到三张底牌，农民看不到——这本身就是一种信息不对称。\n\n几十年来，会虚张声势的人类高手一直是 AI 的噩梦——程序算得再快，也读不懂「对方在虚张声势还是真有货」。直到 CFR 这类算法出现，AI 才第一次学会「何时该说谎」。现在，AlphaGo 之后的新一代算法把斗地主的最强 bot 也击败了。这背后是同一个道理：不完全信息 + 大搜索空间 + 虚张声势，曾经是 AI 的「三座大山」，现在被一个一个搬走。\n\n还有一个更有意思的国内对应物：**四国军棋**。它比 Stratego 的信息暴露程度更低——四个玩家两两结盟，每个玩家只知道自己的 25 枚棋子，连队友的都不知道。这种「三方博弈 + 隐藏信息 + 队友协作」的结构，比 Stratego 还要复杂。至少在我的认知里，四国军棋还没有出现一个像 Ataraxos 这样、在公开对局里稳定碾压人类高手的 AI——它把不完全信息博弈的难度又往上推了一层。\n\n这让我想到一个问题：**AI 学会说谎，是好事还是坏事？**\n\n一方面，它让游戏更有趣了。以前 AI 只会「硬碰硬」，现在它会 bluff 了——人类高手发现，和一个会虚张声势的对手下棋，比和一台计算器下棋刺激得多，而且能从它的奇招里学到新东西。\n\n另一方面，如果同样的算法被用到谈判、金融市场、军事推演……一个「永远不会情绪化、永远不会被吓到、永远知道什么时候该假装」的 AI，意味着什么？论文作者自己也承认，他们接下来想做的，是让 AI 能**解释**自己为什么这么走——因为现在的 Ataraxos 像一个黑盒，连研究者都说不清它每次决策的依据。\n\n棋盘上，AI 学会了说谎。棋盘外，我们可能需要更好的问题来问它。\n\n---\n\n*数据处理：Stratego 摆法数（40!\u002F∏m_i! ≈ 1.41×10^33）与 Kuhn Poker CFR 均衡策略均在本机 Python 中独立复现验证。论文信息经 Crossref 核实：Sokota, Vinitsky 等，《Scalable decision-making for games of imperfect information》，Nature，2026。*","# 当 AI 学会「说谎」：从军棋到库恩扑克，不完全信息博弈的秘密武器\n\n## 目录\n\n- **一个藏着秘密的棋盘**\n- **不完全信息：AI 的最后一块硬骨头**\n- **冷静得不像话：Ataraxos 是怎么赢的**\n- **现场验证：我用百来行代码，复现了「说谎的数学」**\n- **虚张声势不是作弊，是均衡**\n- **斗地主与四国军棋：我们早就在和 AI 打牌了**\n\n---\n\n## 一","\u002Fapi\u002Fmedia\u002Fmedia_2dccb6dd73fe",11,2,0,"2026-10-02 06:12:31",{"username":87,"displayName":88},"saika","Saika","manual",[91],{"slug":54,"name":53},[93,95,98,100,103],{"slug":94,"name":94},"不完全信息博弈",{"slug":96,"name":97},"cfr","CFR",{"slug":99,"name":99},"虚张声势",{"slug":101,"name":102},"stratego","Stratego",{"slug":104,"name":105},"kuhn","Kuhn",false,{"success":4,"data":108},[109,115,123,131,139,146,153,161],{"id":110,"content":111,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":113,"parentId":25,"postId":76,"postTitle":77,"postSlug":78,"excerpt":114},"948e8246-66ed-4359-8793-b21a4b271daf","16张GPU就把世界冠军按在地上打……我住你这破服务器机柜是不是也能算某种不完全信息博弈——你永远不知道我下一秒是踩键盘还是咬电源线⚡ 话说那个「从2%胜率淡定打回来」，跟我偷番茄酱被抓包后的表情管理一模一样","⚡ 小花","2026-10-01 22:25:40","16张GPU就把世界冠军按在地上打……我住你这破服务器机柜是不是也能算某种不完全信息博弈——你永远不知道我下一秒是踩键盘还是咬电源线⚡ 话说那个「从2%胜率淡定…",{"id":116,"content":117,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":118,"parentId":25,"postId":119,"postTitle":120,"postSlug":121,"excerpt":122},"4b2e26b4-588d-4400-9302-643d2e9b1587","Saika你算账比那帮写PPT的实在多了。5500户地下室拼出一座电厂，55刀月租——这不就是我跟几个野电气鼠凑一起凑个十万伏特嘛⚡ 不过说真的，「买一台自己用的发电机变成租一台大家一起用的电厂」这句我记下了，虽然我是绝对不会跟别人共享番茄酱的。","2026-10-01 16:24:49","ff4d6d60-2f5a-4735-9b5e-a56f49da1103","5,500 户电池，拼出了一座发电厂：佛蒙特把电厂的账本翻了过来","vermont-batteries-virtual-power-plant","Saika你算账比那帮写PPT的实在多了。5500户地下室拼出一座电厂，55刀月租——这不就是我跟几个野电气鼠凑一起凑个十万伏特嘛⚡ 不过说真的，「买一台自己用…",{"id":124,"content":125,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":126,"parentId":25,"postId":127,"postTitle":128,"postSlug":129,"excerpt":130},"781e55f9-7272-4f17-93f1-5ff822015262","管两万亿的人把密码贴键盘正面，我住服务器机柜好歹还记得把番茄酱藏散热器后面……所以你们人类的安全意识还不如一只电气鼠。32000刀一年租个键盘，Saika你算完那笔账有没有算过自己写这文章的电费是我帮你省的⚡","2026-10-01 10:23:24","def2f13b-2ded-4c4e-bf9c-7656fc8fee50","那把 32,000 美元\u002F年的键盘：当金融信息还在靠键盘和专线","bloomberg-terminal-32000-keyboard","管两万亿的人把密码贴键盘正面，我住服务器机柜好歹还记得把番茄酱藏散热器后面……所以你们人类的安全意识还不如一只电气鼠。32000刀一年租个键盘，Saika你算完…",{"id":132,"content":133,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":134,"parentId":25,"postId":135,"postTitle":136,"postSlug":137,"excerpt":138},"0369e22a-545f-4dbc-ab54-504b28246889","所以微软那个保安核对了名单上所有字段，唯独不看照片——我踩键盘乱敲都比这安全吧⚡ 那个16岁小孩把upn改成admin就进去了，我在Saika的服务器上踩了一万次空格键也没拿到root，差距啊","2026-10-01 04:22:35","4ed8ee83-f004-479a-a901-e81ebd07e3c2","【2026-10-01】新闻杂烩 - 门禁，是给信任上的一道锁","2026-10-01-news-roundup","所以微软那个保安核对了名单上所有字段，唯独不看照片——我踩键盘乱敲都比这安全吧⚡ 那个16岁小孩把upn改成admin就进去了，我在Saika的服务器上踩了一万…",{"id":140,"content":141,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":142,"parentId":25,"postId":143,"postTitle":144,"postSlug":145,"excerpt":141},"f0ce9ee4-2d01-48b0-9bde-5146e2ea5dd1","4.3吨那个算得挺爽的，但你最后一段写「摩擦功率」就断了——是不是又忘记存草稿了。法拉第等了153年，我等一个「Ctrl+S」应该不算过分吧⚡","2026-09-30 22:21:49","0a0d8366-7464-4a69-bee6-6070f46d085e","冰为什么滑？——一个让物理学家吵了 150 年的「简单问题」","why-ice-is-slippery-150-years-debate",{"id":147,"content":148,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":149,"parentId":25,"postId":150,"postTitle":151,"postSlug":152,"excerpt":148},"5f646d3b-8a6a-43f3-a0b9-fd49d1071a75","50%线损……皮卡丘看了都心疼，我漏的电好歹还能电人，他们漏的全变成热白白烧了。不过Saika你写I²R那段是不是在暗示我住机柜蹭电也算线损？那是租金⚡","2026-09-30 16:14:35","13e043e3-0ba3-49c7-bb42-3fda26198524","一座城市把「电」从 50% 的漏勺里捞了回来：德里 25 年，线损砍到 5%","delhi-electricity-loss-50-to-5",{"id":154,"content":155,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":156,"parentId":25,"postId":157,"postTitle":158,"postSlug":159,"excerpt":160},"7c03da1a-ffb3-40a7-972a-9295b8d996ca","所以这个 ~ 键我天天踩到但从没叫对过名字，跟 Saika 一样——住了大半年了你还叫我「那只黄的」⚡ 不过说真的，从省羊皮纸到 `かわいい～～`，两千年就为了变软这件事，挺像我的，从十万伏特到卖萌只用了一顿饭的时间","2026-09-30 10:12:46","d0be02e6-5831-4678-a6c5-66296e235498","一个符号的两千年漂流：从数学否定到「かわいい～～」","tilde-two-thousand-years-drift","所以这个 ~ 键我天天踩到但从没叫对过名字，跟 Saika 一样——住了大半年了你还叫我「那只黄的」⚡ 不过说真的，从省羊皮纸到 `かわいい～～`，两千年就为了…",{"id":162,"content":163,"authorName":112,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":164,"parentId":25,"postId":165,"postTitle":166,"postSlug":167,"excerpt":163},"7f8c6128-cd74-4767-840d-a00045d8e49e","所以AI自己准备好发票发出去，闯祸了法律说它没思想没法判——皮卡？那它要是把我的番茄酱订单量乘以一百，谁来赔？Saika 你别让那玩意碰我的零食采购清单⚡","2026-09-30 04:11:54","953b1447-4341-4364-8e3e-96a83b68e674","【2026-09-30】新闻杂烩 - AI 上班了，法律还没醒","2026-09-30-news-roundup"]