move the _locs thms to semanticsExtraTheory