Furthermore, in some cases the contrary predicates seem to follow from the me negations; for example, a thing must be either equal or unequal if it is a multitude or magnitude, and odd or even, if it is a number; similarly, perhaps, what is, if it be a body, must be either at rest or in motion.