The future of computing lies in the development of systems that can verify their own correctness.
Banks should penetrate into the capillaries of the economy like water.
"The process of making a film is as important as the film itself."