The issue of the order dependence of iterative deletion procedures is well known in the game theory community, and conditions on the dominance concept underlying these procedures have meanwhile been detected which ensure order independence (see, e.g., the criteria of Gilboa et al. (1990) and Apt...