Changes

|Description=A '''substantive method''' is one that presupposes at least one contingent proposition; one that depends on the state of something in the external world. According to our understanding of contingent propositions, all such propositions are '''fallible'''. As such, any substantive method will necessarily presuppose at least one contingent proposition, and is therefore fallible. Thus, by the '''synchronism of method rejection''' theorem, the rejection of a theory can result in the rejection of a method, rendering all substantive methods dynamic.