"Color is a language; it can convey mood, time, and even character development."
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The challenge is to express the most with the least.