Re: New names for some operations Arthur A. Gleckler 13 Sep 2015 19:42 UTC