Music has healing power. It has the ability to take people out of themselves for a few hours.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."