`strategy_independent_set`.