FORMALLY DRIVEN GROUPS