true champagne subgroup of champagne, 1 assertions