Changes

|Description=Given the '''nonempty mosaic''' theorem, it follows that there must be at least one element present in a mosaic. By the '''Second Law''' a theory can only be accepted into a mosaic if there is a method the community can use to appraise the theory. By the '''Third Law''', methods become employed when they are deductive consequences of accepted theories. Thus, there must exist some proposition in the form of a primitive '''dynamic substantive method''' in the '''nonempty mosaic''' with which a community can appraise new theories. {{PrintDiagramFile|diagramfile=Necessary-method-theorem.jpg}}