Title: Formalizing informality