The Formal Edit