 Aristotle stated the arguments of his predecessors for and against the existence of the void, then he defined its exact meaning (Phys. IV.6, 213a12–214a16). Afterwards he would refute the existence of the void by proving that change and locomotion do not involve the existence of the void (214a16–b11) and that void is incompatible with motion (214b12–216b26).