"The unexamined life is not worth living."
世界是一个等待被书写的故事。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
跟我很熟的人都叫我伊丽莎白，我不喜欢别人叫我利兹。
Coal miners are the unsung heroes of America's industrial strength.
作为一名保护者，父母可通过拥抱与孩子接触。
你不能在道德上走捷径却期待长期成功。