Now there is such a thing as locomotion, and in locomotion there is included circular movement, and everything is counted by some one thing homogeneous with it, units by a unit, horses by a horse, and similarly times by some definite time, and, as we said, time is measured by motion as well as motion by time