The diagram (ought to be) the program