Dois trabalhadores independentes verificam simultaneamente que há mais de três médicos de plantão, e cada um tira licença, violando a invariância. Qual é esse problema e como resolvê-lo?