good composition subgroup of composition, 1 assertions