For example, proposition V is based on axioms I and IV, as well as definitions III, V, VI. By designing the argument backwards, Spinoza presents a firm and clear argument that goes from the basic definition of a substance to an argument relating to the reasoning of his argument.