5 June 2016 - the world we make

The world we make is just like the world we come into; it consists entirely of implementation details, and the higher-level documentation is left for us to make up as we go along.