It is not clear that the required flips exist, nor that they always terminate (that is, that one reaches a minimal model X ′ {\displaystyle X'} in finitely many steps.)
Неясно, существует ли требуемая перестройка, или что процесс всегда прервётся (то есть что достигнем минимальную модель X ′ {\displaystyle X'} за конечное число шагов.)