Theorems establishing the uniqueness of the loop representation as defined by Ashtekar et al. (i.e. a certain concrete realization of a Hilbert space and associated operators reproducing the correct loop algebra – the realization that everybody was using) have been given by two groups (Lewandowski, Okolow, Sahlmann and Thiemann; and Christian Fleischhack). Before this result was established it was not known whether there could be other examples of Hilbert spaces with operators invoking the same loop algebra – other realizations not equivalent to the one that had been used so far. These uniqueness theorems imply no others exist, so if LQG does not have the correct semiclassical limit then the theorems would mean the end of the loop representation of quantum gravity altogether.