Cinema is a mirror by which we often see ourselves.
"The world is full of obvious things which nobody by any chance ever observes."
The future of computing lies in the development of systems that can verify their own correctness.