Thomas Hobbes versus John Locke