A Matter of Willowes: problems in deduction