(That saying you can somehow mine all 18 x 20 / 15 minerals sources, and SOMEHOW remove 80 Geysers.)
Lingie#3148 on Discord. Lingie, the Fox-Tailed on Steam.
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
Moose