So if i say:
Condition; P1 kills 50 units
Actions: run Ai script Give vision for P2
If P1 gets vision for P2, will P1 be able to see P2's cloaked units?
None.
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
NudeRaider -- I only heard about it, didn't any news article, so what did it do then?
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 
lil-Inferno,
Vrael