Hume, Spinoza and the Achilles Inference