#+title: David Hume