A discussion on substantive theories of program design, with the running example of concurrent file modifications.