input aspect of flop, 1 assertions