Did you know that mathematician Brian Bowditch wrote a paper solving the angel problem of John Conway , proving that the angel can win and evade the devil in the "angel game"?