Re: choose-and-remove! operation Arthur A. Gleckler 12 Sep 2015 20:51 UTC