The Social Contract Theories of Thomas Hobbes and John Locke