Death is very likely the single best invention of Life.It is Life’s change agent.It clears out the old to make way for the new.
死亡很可能是唯一的、最好的生命创造。它是生命的促变者。它送走老一代，给新一代开出道路。
有时候你必须迷失自己才能找到自己。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
The more laws, the less justice.
物品总是被携带、出售、交换、偷窃、找回和丢失。人们总是把东西送给别人。
"You can't stop the future, you can't rewind the past, the only way to learn the secret is to press play."
