Title: The place of deduction in elementary mechanics