"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The best illustrations are those that leave room for the reader's imagination.
The past does not equal the future.