on the history of David Hume inb.