choose-and-remove! operation Arthur A. Gleckler 11 Sep 2015 18:14 UTC