output aspect of alternator, 7 assertions