Updating: working on the DiningPhil example