But the former fact is clear even from the definitions; for pushing is motion to something else from oneself or from something else, and pulling is motion from something else to oneself or to something else, when the motion of that which is pulling is quicker than the motion that would separate from one another the two things that are continuous; for it is this that causes one thing to be pulled on along with the other.