發送短信 : Uniform proofs of order independence for various strategy elimination procedures

  _  _    _    _    ______      ___      _  __  
 | \| || | || | || |      \\   / _ \\   | |/ // 
 |  ' || | || | || |  --  //  / //\ \\  | ' //  
 | .  || | \\_/ || |  --  \\ |  ___  || | . \\  
 |_|\_||  \____//  |______// |_||  |_|| |_|\_\\ 
 `-` -`    `---`   `------`  `-`   `-`  `-` --`