On Wed, Apr 24, 2013 at 3:41 PM, Gabor Greif <ggreif@gmail.com> wrote:

I believe a kind synonym would have helped, but we do not
have those, right?