Updated dining philosophers.

Better names.