The future of computing lies in the development of systems that can verify their own correctness.
A quarry should heal the earth even as it harvests from it.