We are on the verge: Today our program proved Fermat's next-to-last theorem.
我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
The price of freedom is eternal vigilance.
The human voice is the most beautiful instrument of all, and the most difficult to play.