On Tue, 19 Jun 2007, joeshipman at aol.com wrote: > So the only unsolved question is "what is the lowest dimension in which > an angel of power 1 wins, or is there none?" Well, there's also my question of, what's the weakest system in which you can prove that, for example, in dimension 4, either the angel of power 1 wins or the devil wins? Tim