formal group dynamics 6926117