特朗普3日在白宫会见德国总理默茨期间抨击西班牙在打击伊朗行动中“缺乏合作”，并宣布将切断美国和西班牙之间的一切贸易往来，因为西班牙是“一个糟糕的盟友”。（央视新闻）
Lean is the result of over twelve years of continuous development. We designed and built every layer from scratch: the trusted kernel, the compiler, the language server, the IDE, the proof automation. The team is 20 people. The community independently chose Lean: mathematicians, AI researchers, and enterprise engineers, all building on the same platform.
，这一点在体育直播中也有详细论述
Мощный удар Израиля по Ирану попал на видео09:41。91视频对此有专业解读
Прогуляться на здоровье.Как летний чек-ап помогает москвичам беречь свое здоровье20 мая 2022，推荐阅读heLLoword翻译官方下载获取更多信息
音頻加註文字，張又俠被查：中國軍方最高級別將領落馬 官媒批其「造成極大破壞」「紅二代」：世交神話的破滅