Sudden thought I had: why did Carol give the Autoscorers last names? And unique last names, at that. Like, giving them names at all makes sense from a purely pragmatic standpoint on the basis of their model names being tedious to say. And as drenched in symbolism as they already are, the specific names she gave them are basically reasonable.
But why the last names?












