Two of the great stylized predictions of development theory, and two of the great expectations of policy makers as indicators of progress in development, are inexorable urbanization and inexorable formalization. Urbanization is indeed happening, beyond the "tipping point" where half the world's...