条约与成文规则 · 出现 4

ICCPR 第 4 条(紧急状态减损)

ICCPR 4

本单元进度 · STAGES0 / 4
国际人权法国籍、无国籍、难民与外交保护国际经济法、制裁与反措施出现 4 届 · 2011 · 2013 · 2016 · 2024
STAGE 03

应用

材料地位 · SOURCE STATUSProblem · 赛题事实Bench / Memorial · 论证线索Reconstruction · 人工重构

2016 年 Q3 的“反恐预防性拘禁”并非只问ICCPR 第 4 条(紧急状态减损)是否相关,而是要求把“威胁国家生命的公共紧急状态”、“正式公告并依第40条通知”、“措施严格为情势所必需”、“符合其他国际法义务且不歧视”、“不得减损第4(2)款列明权利”与具体时间线逐一对应。申请方承担建立适用基础和要件连接的责任;被申请方可攻击规则范围、事实证明或法律后果,但不能用一般否认替代逐项反驳。

“该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长”记载:次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报。它为“正式公告并依第40条通知”提供直接线索。

“卡夫克案被提交至国家安全法庭审理”记载:听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求。它与“不得减损第4(2)款列明权利”有关,但没有直接记载该要件所要求的法律事实。

本场景须依次检验“威胁国家生命的公共紧急状态”、“正式公告并依第40条通知”、“措施严格为情势所必需”、“符合其他国际法义务且不歧视”、“不得减损第4(2)款列明权利”。现有记录中,3 个要件有直接词义或事实线索,其余要件仍须补证;不能以争端结果或规范标签替代要件证明。

Amestonia申请方国家

Amestonia围绕“反恐预防性拘禁”提出申请方的事实与规范连接。

Riesland被申请方国家

Riesland围绕“反恐预防性拘禁”回应申请方的事实与规范连接。

未载明具体日期

《SSBA》第32条规定监视活动的五项保障

《SSBA》第32条“最小化程序与结构性保障措施”规定了对该局(Bureau)监视活动的五项限制。第一,若所获取的信息极有可能包含“涉及里斯兰(Riesland)国民作为一方当事人的任何通讯”,局长不得批准进行电子监视。第二,该法设立了一个由五名法官组成的国家安全法庭(“法庭”),该法庭必须每六个月审查一次根据《SSBA》进行的所有电子监视活动。法庭的审理程序不对公众开放,但法庭有权邀请技术专家、学者及非政府组织(NGO)作为“法庭之友”参与其中。第三,设立议会监视监督委员会,该委员会有权查阅与该局运作相关的所有信息,并有权发起独立调查以及传唤该局局长及其他人员出席听证。第四,法律规定,仅在局长经外交部长同意并认定确有“必要”时,方可批准对“外国公职人员”进行监视。第五,该局必须遵守总检察长就任何监视计划的法律层面问题所发布的各项规定。

2014年10月16日

该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长

2014年10月16日,该局局长汤姆·西瓦内塔(Tom Sivaneta)会见了阿梅斯托尼亚(Amestonian)内政部长。他告知部长,该局已成功查明一个阿梅斯托尼亚环保活动人士团伙;该团伙密谋利用一种经化学改性且有毒的新烟碱类物质,污染一批拟运往里斯兰(Riesland)供消费的蜂蜜。他向部长提供了该团伙成员的姓名及所在地。次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报。该恐怖主义警报于2015年4月再次发布。

未载明具体日期

黑尔总统进一步表示

在回答记者提问时,黑尔(Hale)总统进一步表示:“我们的警方正将VoR的设施及其设备视为犯罪现场进行处理。玛格丽特·梅耶(Margaret Mayer)及其他“里斯兰之声”(VoR)员工涉嫌犯有极其严重的间谍罪,相关指控将依法处理。”他否认搜查该场所及拘留这三人的行为违反了阿梅斯托尼亚(Amestonia)在《广播条约》项下的义务,并称:“一旦该电台停止广播业务而沦为间谍窝点,其设施和员工便丧失了豁免权与特权。”随后,阿梅斯托尼亚召回了驻里斯兰(Riesland)大使以进行磋商,并正式关闭了其在里斯兰的电视台。

2012年

约瑟夫·卡夫克是一位70岁的退休阿梅斯托尼亚政治家

约瑟夫·卡夫克(Joseph Kafker)是一位70岁的退休阿梅斯托尼亚(Amestonian)政治家,他创立了绿党(Green Party),该党现为阿梅斯托尼亚议会第三大党。多年来,卡夫克一直公开反对在农业生产中使用新烟碱类杀虫剂(neonics)。在担任议员期间,他曾多次试图推动立法禁止使用此类杀虫剂,但均未成功;他在2012年退休时曾对此表示遗憾。2015年3月7日,卡夫克受邀在里斯兰(Riesland)最大法学院举办的国际环境法会议上发表主旨演讲。演讲结束后,他遭到警方拘留,据称依据的是《反恐法》。次日,这一消息见诸国际媒体。阿梅斯托尼亚议会召开特别会议,通过决议谴责对卡夫克的拘留并要求将其释放。里斯兰政府未予回应。

2015年3月10日

卡夫克案被提交至国家安全法庭审理

2015年3月10日,卡夫克(Kafker)案被提交至国家安全法庭审理。应总检察长办公室的请求,法庭裁定,所有涉及卡夫克活动并导致其被捕的证据均属于《反恐法》所定义的“保密材料”(closed material)。法庭进一步允许该局官员通过视频会议作证,说明拘留卡夫克的必要性,同时对其面部和声音进行技术处理以隐匿身份。听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求。卡夫克的律师(选自经批准的“特别辩护人”名单)出席了庭审,但既不被允许与当事人商议,也不得向其透露任何据称证实针对其指控的机密信息。卡夫克目前仍被关押在里斯兰(Riesland)的一所高度戒备设施内,且未受任何指控;法庭每21天便延长一次其拘留期限。针对此次诉讼程序的合宪性,有人向里斯兰最高法院提起了异议动议,但该动议被驳回。

2015年3月12日

阿梅斯托尼亚外交部长联系了里斯兰的外交部长

2015年3月12日,阿梅斯托尼亚(Amestonia)外交部长联系了里斯兰(Riesland)的外交部长,要求获取构成卡夫克(Kafker)被拘留依据的秘密证据。他还表示,阿梅斯托尼亚方面认为《反恐法》不符合国际人权标准。里斯兰外交部长拒绝了这一请求,回应称披露有关卡夫克被捕的信息将危及特定情报来源的完整性,进而危及里斯兰的国家安全。该部长进一步强调,国家安全法庭已根据《反恐法》认定该信息不得披露。

2015年3月17日

艾姆斯邮报”网站的横幅标题写着“卡夫克式事件

2015年3月17日,“艾姆斯邮报”(The Ames Post)网站的横幅标题写着“卡夫克式事件”(A Kafker-esque Affair)。一份源自弗罗斯特(Frost)U盘的备忘录显示,2014年5月卡夫克(Kafker)接受“玛格丽特茶叙时间”(Tea Time with Margaret)节目采访时,情报局(the Bureau)借机入侵了他的电子设备。根据该备忘录,卡夫克被视为一名“与‘蜂巢’(The Hive)组织有关联的高级别嫌疑人,其涉嫌行为包括2014年策划向一大批蜂蜜中投放有毒变体新烟碱类杀虫剂(neonicotinoids)”。在对其设备进行窃听后,对卡夫克实施持续监控被列为“重中之重”。通过截获的通讯信息,情报局分析人员确定卡夫克频繁访问“蜂巢万岁”(longlivethehive)网站,参与在线聊天,并利用该论坛的“点赞”功能对某些对话表示支持——这些对话包括呼吁采取暴力破坏行动,以提高公众对新烟碱类杀虫剂争议的关注。在“艾姆斯邮报”刊发相关报道后,面对媒体提出的问题,总检察长德洛蓬特(Deloponte)拒绝置评。他仅表示,里斯兰(Riesland)掌握着“机密资料”,这些资料“将卡夫克(Kafker)与‘蜂巢’(The Hive)的高层直接联系了起来”。

SIGNAL 1
2014年10月16日,该局局长汤姆·西瓦内塔(Tom Sivaneta)会见了阿梅斯托尼亚(Amestonian)内政部长。他告知部长,该局已成功查明一个阿梅斯托尼亚环保活动人士团伙;该团伙密谋利用一种经化学改性且有毒的新烟碱类物质,污染一批拟运往里斯兰(Riesland)供消费的蜂蜜。他向部长提供了该团伙成员的姓名及所在地。次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报。该恐怖主义警报于2015年4月再次发布。

“该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长”出现了可用于判断“威胁国家生命的公共紧急状态”的具体词义或行为线索。

候选规范
ICCPR 第 4 条(紧急状态减损):威胁国家生命的公共紧急状态
双方如何争
阿梅斯托尼亚可请求结合其余时间线作出有利推论;里斯兰可指出记录仍缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。
SIGNAL 2
2014年10月16日,该局局长汤姆·西瓦内塔(Tom Sivaneta)会见了阿梅斯托尼亚(Amestonian)内政部长。他告知部长,该局已成功查明一个阿梅斯托尼亚环保活动人士团伙;该团伙密谋利用一种经化学改性且有毒的新烟碱类物质,污染一批拟运往里斯兰(Riesland)供消费的蜂蜜。他向部长提供了该团伙成员的姓名及所在地。次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报。该恐怖主义警报于2015年4月再次发布。

“该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长”出现了可用于判断“正式公告并依第40条通知”的具体词义或行为线索。

候选规范
ICCPR 第 4 条(紧急状态减损):正式公告并依第40条通知
双方如何争
阿梅斯托尼亚可请求结合其余时间线作出有利推论;里斯兰可指出记录仍缺少相关通知或公告的完整文本、送达对象、送达日期、所述理由及对方回应。
SIGNAL 3
2015年3月10日,卡夫克(Kafker)案被提交至国家安全法庭审理。应总检察长办公室的请求,法庭裁定,所有涉及卡夫克活动并导致其被捕的证据均属于《反恐法》所定义的“保密材料”(closed material)。法庭进一步允许该局官员通过视频会议作证,说明拘留卡夫克的必要性,同时对其面部和声音进行技术处理以隐匿身份。听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求。卡夫克的律师(选自经批准的“特别辩护人”名单)出席了庭审,但既不被允许与当事人商议,也不得向其透露任何据称证实针对其指控的机密信息。卡夫克目前仍被关押在里斯兰(Riesland)的一所高度戒备设施内,且未受任何指控;法庭每21天便延长一次其拘留期限。针对此次诉讼程序的合宪性,有人向里斯兰最高法院提起了异议动议,但该动议被驳回。

“卡夫克案被提交至国家安全法庭审理”出现了可用于判断“措施严格为情势所必需”的具体词义或行为线索。

候选规范
ICCPR 第 4 条(紧急状态减损):措施严格为情势所必需
双方如何争
阿梅斯托尼亚可请求结合其余时间线作出有利推论;里斯兰可指出记录仍缺少决策当时掌握的风险、可行替代方案、预期损害、利益权衡及持续复核记录。
SIGNAL 4
2015年3月12日,阿梅斯托尼亚(Amestonia)外交部长联系了里斯兰(Riesland)的外交部长,要求获取构成卡夫克(Kafker)被拘留依据的秘密证据。他还表示,阿梅斯托尼亚方面认为《反恐法》不符合国际人权标准。里斯兰外交部长拒绝了这一请求,回应称披露有关卡夫克被捕的信息将危及特定情报来源的完整性,进而危及里斯兰的国家安全。该部长进一步强调,国家安全法庭已根据《反恐法》认定该信息不得披露。

“阿梅斯托尼亚外交部长联系了里斯兰的外交部长”是与“符合其他国际法义务且不歧视”最接近的背景节点,但未直接记载该要件成立。

候选规范
ICCPR 第 4 条(紧急状态减损):符合其他国际法义务且不歧视
双方如何争
阿梅斯托尼亚可请求结合其余时间线作出有利推论;里斯兰可指出记录仍缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。
SIGNAL 5
2015年3月10日,卡夫克(Kafker)案被提交至国家安全法庭审理。应总检察长办公室的请求,法庭裁定,所有涉及卡夫克活动并导致其被捕的证据均属于《反恐法》所定义的“保密材料”(closed material)。法庭进一步允许该局官员通过视频会议作证,说明拘留卡夫克的必要性,同时对其面部和声音进行技术处理以隐匿身份。听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求。卡夫克的律师(选自经批准的“特别辩护人”名单)出席了庭审,但既不被允许与当事人商议,也不得向其透露任何据称证实针对其指控的机密信息。卡夫克目前仍被关押在里斯兰(Riesland)的一所高度戒备设施内,且未受任何指控;法庭每21天便延长一次其拘留期限。针对此次诉讼程序的合宪性,有人向里斯兰最高法院提起了异议动议,但该动议被驳回。

“卡夫克案被提交至国家安全法庭审理”是与“不得减损第4(2)款列明权利”最接近的背景节点,但未直接记载该要件成立。

候选规范
ICCPR 第 4 条(紧急状态减损):不得减损第4(2)款列明权利
双方如何争
阿梅斯托尼亚可请求结合其余时间线作出有利推论;里斯兰可指出记录仍缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。
规则要件对应事实申请方推论被申请方推论仍需追问
威胁国家生命的公共紧急状态

次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报

阿梅斯托尼亚可据该节点中的具体用语和行为,结合前后事件主张“威胁国家生命的公共紧急状态”已有初步证据线索。

里斯兰可承认该线索存在,但争辩其没有覆盖要件的全部主体、时间或法律范围。

仍须查明紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。

正式公告并依第40条通知

次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报

阿梅斯托尼亚可据该节点中的具体用语和行为,结合前后事件主张“正式公告并依第40条通知”已有初步证据线索。

里斯兰可承认该线索存在,但争辩其没有覆盖要件的全部主体、时间或法律范围。

仍须查明相关通知或公告的完整文本、送达对象、送达日期、所述理由及对方回应。

措施严格为情势所必需

法庭进一步允许该局官员通过视频会议作证,说明拘留卡夫克的必要性,同时对其面部和声音进行技术处理以隐匿身份

阿梅斯托尼亚可据该节点中的具体用语和行为,结合前后事件主张“措施严格为情势所必需”已有初步证据线索。

里斯兰可承认该线索存在,但争辩其没有覆盖要件的全部主体、时间或法律范围。

仍须查明决策当时掌握的风险、可行替代方案、预期损害、利益权衡及持续复核记录。

符合其他国际法义务且不歧视

2015年3月12日,阿梅斯托尼亚(Amestonia)外交部长联系了里斯兰(Riesland)的外交部长,要求获取构成卡夫克(Kafker)被拘留依据的秘密证据

阿梅斯托尼亚至多可把该节点作为“符合其他国际法义务且不歧视”的间接背景,并须说明由该背景推至要件成立的中间事实。

里斯兰可指出该节点只证明“阿梅斯托尼亚外交部长联系了里斯兰的外交部长”所述事件,不能反向推定“符合其他国际法义务且不歧视”。

仍须查明紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。

不得减损第4(2)款列明权利

听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求

阿梅斯托尼亚至多可把该节点作为“不得减损第4(2)款列明权利”的间接背景,并须说明由该背景推至要件成立的中间事实。

里斯兰可指出该节点只证明“卡夫克案被提交至国家安全法庭审理”所述事件,不能反向推定“不得减损第4(2)款列明权利”。

仍须查明紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利。

非原书状内容 · NOT IN THE FILED MEMORIALS
  1. 01

    威胁国家生命的公共紧急状态

    ICCPR 4: element 1

    次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报

    On 16 October 2014, Tom Sivaneta, the Bureau’s Director, met with the Amestonian Minister of Internal Affairs. He informed the Minister that the Bureau had suc…

    申请方 · APPLICANT

    阿梅斯托尼亚应以“该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长”中的具体行为为起点,分别证明主体、时点和范围均落入“威胁国家生命的公共紧急状态”。

    Amestonia must connect this fact to the actor, timing, and scope of the element.

    回应边界 · REPLY BOUNDARY

    回应须处理紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利;不能补足时,应把结论明确限定为附条件成立。

    The reply must address the identified proof gap or keep the conclusion conditional.

    被申请方 · RESPONDENT

    里斯兰应指出该节点实际证明的范围,并以缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利为由反驳“威胁国家生命的公共紧急状态”已经成立。

    Riesland should identify what the fact proves and what remains missing.

    回应边界 · REPLY BOUNDARY

    里斯兰不能只提出抽象怀疑,而须指出时间、主体、因果或法律范围中的具体断点。

    Riesland must identify a concrete break in timing, actor, causation, or legal scope.

  2. 02

    正式公告并依第40条通知

    ICCPR 4: element 2

    次日,里斯兰依据《2003年恐怖主义法》(附件二)发布了恐怖主义警报

    On 16 October 2014, Tom Sivaneta, the Bureau’s Director, met with the Amestonian Minister of Internal Affairs. He informed the Minister that the Bureau had suc…

    申请方 · APPLICANT

    阿梅斯托尼亚应以“该局局长汤姆·西瓦内塔会见了阿梅斯托尼亚内政部长”中的具体行为为起点,分别证明主体、时点和范围均落入“正式公告并依第40条通知”。

    Amestonia must connect this fact to the actor, timing, and scope of the element.

    回应边界 · REPLY BOUNDARY

    回应须处理相关通知或公告的完整文本、送达对象、送达日期、所述理由及对方回应;不能补足时,应把结论明确限定为附条件成立。

    The reply must address the identified proof gap or keep the conclusion conditional.

    被申请方 · RESPONDENT

    里斯兰应指出该节点实际证明的范围,并以缺少相关通知或公告的完整文本、送达对象、送达日期、所述理由及对方回应为由反驳“正式公告并依第40条通知”已经成立。

    Riesland should identify what the fact proves and what remains missing.

    回应边界 · REPLY BOUNDARY

    里斯兰不能只提出抽象怀疑,而须指出时间、主体、因果或法律范围中的具体断点。

    Riesland must identify a concrete break in timing, actor, causation, or legal scope.

  3. 03

    措施严格为情势所必需

    ICCPR 4: element 3

    法庭进一步允许该局官员通过视频会议作证,说明拘留卡夫克的必要性,同时对其面部和声音进行技术处理以隐匿身份

    On 10 March 2015, Kafker’s case was brought before the National Security Tribunal. Following a request from the Attorney General’s Office, the Tribunal ruled t…

    申请方 · APPLICANT

    阿梅斯托尼亚应以“卡夫克案被提交至国家安全法庭审理”中的具体行为为起点,分别证明主体、时点和范围均落入“措施严格为情势所必需”。

    Amestonia must connect this fact to the actor, timing, and scope of the element.

    回应边界 · REPLY BOUNDARY

    回应须处理决策当时掌握的风险、可行替代方案、预期损害、利益权衡及持续复核记录;不能补足时,应把结论明确限定为附条件成立。

    The reply must address the identified proof gap or keep the conclusion conditional.

    被申请方 · RESPONDENT

    里斯兰应指出该节点实际证明的范围,并以缺少决策当时掌握的风险、可行替代方案、预期损害、利益权衡及持续复核记录为由反驳“措施严格为情势所必需”已经成立。

    Riesland should identify what the fact proves and what remains missing.

    回应边界 · REPLY BOUNDARY

    里斯兰不能只提出抽象怀疑,而须指出时间、主体、因果或法律范围中的具体断点。

    Riesland must identify a concrete break in timing, actor, causation, or legal scope.

  4. 04

    符合其他国际法义务且不歧视

    ICCPR 4: element 4

    2015年3月12日,阿梅斯托尼亚(Amestonia)外交部长联系了里斯兰(Riesland)的外交部长,要求获取构成卡夫克(Kafker)被拘留依据的秘密证据

    On 12 March 2015, Amestonia’s Foreign Minister contacted his counterpart in Riesland and demanded access to the secret evidence that constituted the basis for …

    申请方 · APPLICANT

    阿梅斯托尼亚只能把“阿梅斯托尼亚外交部长联系了里斯兰的外交部长”作为间接事实,并应补出从该事实推至“符合其他国际法义务且不歧视”的主体、时点和因果环节。

    Amestonia must connect this fact to the actor, timing, and scope of the element.

    回应边界 · REPLY BOUNDARY

    回应须处理紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利;不能补足时,应把结论明确限定为附条件成立。

    The reply must address the identified proof gap or keep the conclusion conditional.

    被申请方 · RESPONDENT

    里斯兰应指出该节点实际证明的范围,并以缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利为由反驳“符合其他国际法义务且不歧视”已经成立。

    Riesland should identify what the fact proves and what remains missing.

    回应边界 · REPLY BOUNDARY

    里斯兰不能只提出抽象怀疑,而须指出时间、主体、因果或法律范围中的具体断点。

    Riesland must identify a concrete break in timing, actor, causation, or legal scope.

  5. 05

    不得减损第4(2)款列明权利

    ICCPR 4: element 5

    听取证词后,法庭批准了基于国家安全理由延长卡夫克拘留期限的请求

    On 10 March 2015, Kafker’s case was brought before the National Security Tribunal. Following a request from the Attorney General’s Office, the Tribunal ruled t…

    申请方 · APPLICANT

    阿梅斯托尼亚只能把“卡夫克案被提交至国家安全法庭审理”作为间接事实,并应补出从该事实推至“不得减损第4(2)款列明权利”的主体、时点和因果环节。

    Amestonia must connect this fact to the actor, timing, and scope of the element.

    回应边界 · REPLY BOUNDARY

    回应须处理紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利;不能补足时,应把结论明确限定为附条件成立。

    The reply must address the identified proof gap or keep the conclusion conditional.

    被申请方 · RESPONDENT

    里斯兰应指出该节点实际证明的范围,并以缺少紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利为由反驳“不得减损第4(2)款列明权利”已经成立。

    Riesland should identify what the fact proves and what remains missing.

    回应边界 · REPLY BOUNDARY

    里斯兰不能只提出抽象怀疑,而须指出时间、主体、因果或法律范围中的具体断点。

    Riesland must identify a concrete break in timing, actor, causation, or legal scope.

结论路径 · BOTTOM LINE

现有记录足以把ICCPR 第 4 条(紧急状态减损)列为本场景的候选规则,但3 个要件有直接词义或事实线索,其余要件仍须补证。决定性缺口是紧急状态的规模、正式宣布、具体措施的必要性、差别待遇依据及受影响权利;补证前,只能认定申请方提出了可争辩路径,不能认定全部要件或法律后果已经成立。

The record presents an arguable rule-to-fact path under ICCPR 4. The outcome remains conditional on the missing proof identified in the analysis.

读完本段了?

标记后,四段进度条与首页复习清单会同步更新。