The state of nature in the shadow of contract formation: Adding a missing link to J.M. Buchanan's social contract theory