Hobbes and the social contract tradition