Of those who deny the existence of a void some, like Anaxagoras and Empedocles, have not tried to analyse the notions of light and heavy at all; and those who, while still denying the existence of a void, have attempted this, have failed to explain why there are bodies which are absolutely heavy and light, or in other words why some always move upward and others downward.