More formal talking about GACGs