I draw a distinction between Corollarial consequences and Theorematic consequences. [—] A theorematic consequence is one which only becomes evident after some experiment has been performed upon the diagram, such as the addition to it of parts not necessarily referred to in the statement of the conclusion.