However, since one cannot obtain such stack states with the given operations, they are assumed "not to exist".
Однак, так як ніхто не може отримати такий стек станів із заданими операціями, вони вважаються «не існуючими».