Hume's System C by David Pears