Discussion of first article, Dining Philosophers Revisted, completed.