Contemporary procedural utility and Hume's early idea of utility.