`strategy_random_sequential`.