Every murder leaves two victims: the deceased and the killer.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我相信圣诞节的魔力。
All writing is autobiography.