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