finished documenting the dining philosophers