A Pure Formality Explained