The proof can therefore be drawn more concisely this way: In addition to the redundancy of proof there is here also a redundancy of language 'because with these' (i.e. the substances) and 'the composite is only an accidental relation of substances.'.