A PURE FORMALITY 8/8