iNut to čista nečista vilica je bitna za razlikovanje sljedećoj situaciji
recimo da filozof, neka je on indeksa 3, ima jednu vilicu, onu između sebe i 4, i hoće jesti (iako nebitno ali recimo da je već poslao zahtjev filozofu indeksa 2 pa čeka njegovu vilicu)
e i recimo da filozof indeksa 4 sada zatraži onu vilicu koju ima filozof 3
e sad ako je vilica prljava, on mu ju mora dati unatoč tome što i 3 hoće jesti, i kad ju filozof 4 dobije on ju smatra čistom
ako nije, odnosno ako je vilica koju ga 4 traži čista, onda 3 mu neće dati, tek kasnije kad on pojede
tlrd: čista vilica kod filozofa znači da ju je dobio od filozofa, pa jbg neću ti je dati nazad jer još nisam jeo i sad je moj red
prljava vilica kod filozofa znači da je prethodno obavio jedenje sa njom, pa ako ga susjed traži dat ćeš mu (čak i ako si gladan i želiš jesti) jer ti si već obavio jednom a tvoj susjed nije
dakle kad šalješ vilice ne moraš navoditi u poruci da je ona sada čista, jer to se implicitno podrazumijeva, to će lokalno ažurirati svaki proces po primitku vilice jer on mora pratiti pravila kada udovoljiti zahtjevima (i ažurirati kad je prljava kad pojede)
