FIX group example and remove use in the Formalizer (implicit declaration)