Adjusted_winner_procedure