Formalization, Taxation, and Public Services: Lessons from Metaketa II