败坏德行的行为有许多,而酗酒必定败德;伤害生命的行为也有许多,而好色必定伤生。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."