HPS, Hume and philosophy of time