> You have this the wrong way round. You can demonstrate that something > is dead by killing it. You can only demonstrate life by the > absence of a demonstration of deadness. So, that's exactly what we need. If the opponent cannot kill a stone, then it is alive. Eventually, even a program must realize it.