The poet is a man who looks at the world and sees it as it is, but also as it could be.
诗人是一个看世界并看到它本来面目，但也看到它可能成为什么样子的人。
译文：奉承的话顺从了人的内心容易让人高兴，直率的话不能接受让人容易发怒。赏析：奉承的话虽然好听，但能让人迷失自我，直率的话虽然逆耳，但能让人清醒。我们少听阿谀的谗言，多听直率的忠言。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
时光飞逝，带着我们一同远去。我正在说话的这一刻已离我远去。