Deeper theories of program design