from Paul Eggert