Email Record: Hume's problem solved :