The ABC’s of Deductions with Jonathan Bengel