The bigger and more complex our computational systems become, the less we seem to know about the foundations of our work. A foundation in conceptual theory, however, is necessary for understandin...