output aspect of flop, 1 assertions