Motion and Rest

Reductio Ad Absurdum