new alternator subgroup of alternator, 2 assertions