The Formal Writing Package