Engaging with and measuring informality in the proposed Urban Sustainable Development Goal · Study