 Poincaré then considered what group the group of compensating motions could be, and found that, as Lie had proved in his study of the Riemann-Helmholtz problem of space, there was a strictly limited collection of such groups. Chief among them were the groups that come from Euclidean and non-Euclidean geometry, and as abstract groups they are different. But which one was correct?