Xref: utzoo rec.games.trivia:2886 alt.folklore.computers:1310
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ukc!icdoc!inmos!des
From: des@elberton.inmos.co.uk (David Shepherd)
Newsgroups: rec.games.trivia,alt.folklore.computers
Subject: Re: At Last!  The voice of Reason!
Keywords: Decade,bean counters
Message-ID: <3659@ganymede.inmos.co.uk>
Date: 17 Jan 90 11:41:17 GMT
References: <50810@bbn.COM> <1484@baird.cs.strath.ac.uk> <3612@ganymede.inmos.co.uk> <30874@shemp.CS.UCLA.EDU> <1990Jan16.104013.15688@jarvis.csri.toronto.edu>
Sender: news@inmos.co.uk
Reply-To: des@inmos.co.uk (David Shepherd)
Organization: INMOS Limited, Bristol, UK.
Lines: 14

In article <30874@shemp.CS.UCLA.EDU> das@lanai.cs.ucla.edu (David Smallberg) writes:
>Not literally an inconsistency, since "first" and "second" are etymologically
>unrelated to "one" and "two".  "Third" and "three" are related, of course, so
>one hopes that Dijkstra's lists are very short.

I seem to recall that they usually are,  as in:

  case 0: .... proof of case 0
  case 1: .... proof of case 1

  the other cases are left as an exercise to the reader


:-)