Δύο ανεξάρσιοι εργαζόμενοι ελέγχουν ταυτόχρονα ότι υπάρχουν περισσότεροι από τρεις γιατροί σε υπηρεσία, και ο καθένας παίρνει άδεια, παραβιάζοντας το invariance. Ποιο είναι αυτό το πρόβλημα και πώς να το λύσετε;