Groups and Formals