The first prerequisite of a sound foreign policy is a clear understanding of one's own values.
If a doctrine is not unintelligible, it has to be vague; and if neither unintelligible nor vague, it has to be unverifiable.
计算复杂性理论的发展向我们展示了并非所有问题都是平等的。