(Personal) (Personal) David Gries David Gries Gries