Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>|Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>|Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>|Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>|Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>|Department of Computer Science, Hope College, Holland, MI, USA. dejongh@hope.edu <dejongh@hope.edu>