generated at
Hume's law