And if you take Warren Buffett and watched him with a time clock, I would say half of all the time he spends is sitting on his ass and reading. And a big chunk of the rest of the time is spent talking one on one either on the telephone or personally with highly gifted people whom he trusts and who trust him. In other words, it looks quite academic, all this worldly success.

There is only so much of fortune a man really needs and the rest is just for showing off.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.