None.
Staredit Network > Forums > SC2 General Discussion > Topic: Starcraft II is going to be an interesting adventure for me
Zoan -- of course it isn't full understanding. You could ask "is the mechanism by which this counterexample blows up the ONLY mechanism possible for an initial configuration to blow up?"
Zoan -- Heinermann
Heinermann -- it also didn't solve that problem but hey as long as the investors are pleased
NudeRaider -- I have no idea tbh. All I know no human was ever able to solve it, but there's at least a few that beat portal 
NudeRaider -- Zoan
Heinermann,
Zoan