Success is about making the right choices, not just working hard.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Talent is not enough. You need the right attitude.