then that which is made out of them is destroyed: these propositions being laid down, it is necessary that any part of substance is substance; this has not however been deduced from the assumptions, but propositions are wanting.