On a gauntlet thrown by David Gries