We assume first that place is what contains that of which it is the place, and is no part of the thing; again, that the primary place of a thing is neither less nor greater than the thing; again, that place can be left behind by the thing and is separable; and in addition