The purpose of business is to improve people's lives.
Legal systems are not merely systems of rules, but also systems of power.
"I believe that as much as you take, you have to give back."
The future of computing lies in the development of systems that can verify their own correctness.