Structured Programming supports the law of the excluded middle.
结构化程序设计支持被排除中间语言的法律。
The hottest love has the coldest end.
违反贝尔不等式迫使我们拒绝局域性或实在性,或两者兼而有之。
"The past is never dead. It's not even past."