0 formality | Definition of formality