We find it when we transform Hume's skeptical theory, his total claim, back into his problem, extending it to those consequences which do not quite find their complete expression in the theory although it is difficult to suppose that a genius with a spirit like Hume's did not see these consequences, which are not expressly drawn and not theoretically treated.