ORG-FORMAL-SESG.pdf