simplify and document optimistic philosophers