Dva nezávislé pracovníky súčasne kontrolujú, či je viac ako tri lekárov na smene, a každý si berie voľno, čím porušujú invariant. Čo je to za problém a ako ho vyriešiť?