Further, if there is movement, and something moved, and everything is moved out of something and into something, it follows that that which is moved must first be in that out of which it is to be moved, and then not be in it, and move into the other and come to be in it, and that the contradictory statements are not true at the same time, as our opponents assert they are.