> We are grateful to the editors, the referees, and to Richard Stallman for a careful reading and comments.
> We are grateful to the editors, the referees, and to Richard Stallman for a careful reading and comments.