结构化程序设计支持被排除中间语言的法律。
Structured Programming supports the law of the excluded middle.
大陆就像漂浮在密度更大的岩石海洋上的冰山。