Formal_group loading ...