Zwei unabhängige Arbeiter überprüfen gleichzeitig, dass mehr als drei diensthabende Ärzte vorhanden sind, und nehmen jeweils Urlaub, was die Invarianz verletzt. Was ist dieses Problem und wie löst man es?