Modal logic requires that valid deductions preserve necessity: contingent kinematic observations can...