大法官們裁定：徵收關稅的權力屬於國會，而非總統。特朗普所依據的1977年《國際緊急經濟權力法》（International Emergency Economic Powers Act），並未授予總統如此廣泛的權力。
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
，更多细节参见PDF资料
the point i want to get to with Thompson’s paper is that the last few sentences of Thompson’s original paper actually mention the possibility of intersection and complement (below), but the funny thing is that this footnote has been forgotten for decades, and no one ever followed through.. and for the ones who tried, in fact, it wasn’t so easy in Thompson’s NFA framework at all, the devil is in the details.
银行体系无主金融资产或超万亿元