Re: choose-and-remove! operation Arthur A. Gleckler 11 Sep 2015 22:09 UTC