According to John Sorenson, in light of what happened in the east wilderness where many Amulonite overlords were killed, I surmise that the land from which these Lamanites "came over" (Alma 25:13) might have been the land of Amulon. [John L. Sorenson, The Geography of Book of Mormon Events: A Source Book, p. 251]