Since, then, every motion is a kind of change, and there are only the three kinds of change mentioned above; and since of these three those which take the form of becoming and perishing, that is to say those which imply a relation of contradiction, are not motions: it necessarily follows that only change from subject to subject is motion.