This is a superbly readable, detailed account of careful coding. If you ever write code that might be subtle - and we all do from time to time - it is an excellent example.