Putting it together

Deduction — plus the whole toolkit aimed at one real argument.