state aspect of flop, 1 assertions