Két független munkás egyszerre ellenőrzi, hogy több mint három ügyeletes orvos van-e, és mindketten szabadságot vesznek ki, megsértve az invariánst. Mi ez a probléma, és hogyan oldható meg?