The answer to this problem is: as implied by Hume, we certainly are not justified in reasoning from an instance to the truth of the corresponding law. But to this negative result a second result, equally negative, may be added: we are justified in reasoning from a counterinstance to the falsity of the corresponding universal law (that is, of any law of which it is a counterinstance). Or in other words, from a purely logical point of view, the acceptance of one counterinstance to 'All swans are white' implies the falsity of the law 'All swans are white' - that law, that is, whose counterinstance we accepted. Induction is logically invalid; but refutation or falsification is a logically valid way of arguing from a single counterinstance to - or, rather, against - the corresponding law.This shows that I continue to agree with Hume's negative logical result; but I extend it.This logical situation is completely independent of any question of whether we would, in practice, accept a single counterinstance - for example, a solitary black swan - in refutation of a so far highly successful law. I do not suggest that we would necessarily be so easily satisfied; we might well suspect that the black specimen before us was not a swan.