Dos trabajadores independientes verifican simultáneamente que hay más de tres médicos de guardia, y cada uno se toma un permiso, violando la invariancia. ¿Cuál es este problema y cómo resolverlo?