Impl-Correlate: Code the group construction.