Dwóch niezależnych pracowników jednocześnie sprawdza, czy na dyżurze jest więcej niż trzech lekarzy, i każdy bierze urlop, naruszając inwariant. Czym jest ten problem i jak go rozwiązać?