A problem is in P if it can be solved quickly by a computer, and in NP if a solution can be verified quickly.
God is not found in the soul by adding anything but by a process of subtraction.
对音乐家真正的考验不在于他们在音乐会上的表现,而在于他们在排练中的行为。