Dva nezávislí pracovníci současně kontrolují, že je více než tři lékaři na směně, a každý si bere volno, čímž porušují invarianci. Jaký je tento problém a jak ho řešit?