Explanations of theory through diagrams