You two are still arguing about this after 5 pages? Gaius was the first person to point out the difference between the words....
Then corrected someone else, who used the general term "immigrant" but from the context it's clear that wooly_mammoth didn't know about the distinction or the point that Gaius had been trying to make:
Bookmarks