Comment by deadmutex

There are a lot of assumptions there that are not verified.