Spend as much time crafting the subject line of an email as the message itself because the subject line is often the only thing people read.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"To live is to be followed by shadows."