Example: GAI bound to 4CEV