Il numero massimo di sincronizzazioni incrementali, {0}, deve essere minore del numero massimo di migrazioni simultanee, ...