依靠别人的家产来养肥自己,依靠别人的天地来称尊。 
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."