8.3 Formality