Formalizing The Informal Challenges And Opportunities Of Informal