The greatest happiness is to know the source of unhappiness.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
If we find the answer to that, it would be the ultimate triumph of human reason - for then we would know the mind of God.
The most effective development interventions are often the simplest ones.