But can one actually demonstrate what a thing is in respect of substance, but do so on a supposition, by assuming that what it is to be something is the property composed from the things in what it is, and that these alone are in what it is, and that the whole is proper to it?