Running a Formal Local Group