弗拉基米尔·谢多夫（司法执法部编辑）
;; ...（此处无存储或其他副作用）...
。关于这个话题，zoom提供了深入分析
乌龟：假设有个命题$P$，我们知道若$P$为真，则$Q$也为真。可以说$P$蕴含$Q$，记作$P \to Q$。，详情可参考易歪歪
The Trump administration has stepped up an effort to unmask a Reddit user who criticized Immigration and Customs Enforcement (ICE). After failing to obtain information through a summons issued to Reddit, the government reportedly issued a subpoena demanding that Reddit provide the information and appear before a grand jury in Washington, DC.