There is then something that is always moving in a ceaseless motion, which is motion in a circle; and this is plain not in theory only but in fact.