Formalized Sectors