Shared Groups for Tegen_Hoare