Free will and four English philosophers: Hobbes, Locke, Hume and Mill