But is Carlsen Agent Smith?
J/k 😄😇
Who is who? Is Nyterstein Nykerstein or the other way around? Then there's some Nykterstein, who is rumoured to be somebody called Magnus Carlsen (who apparently is a very important figure, since his name pops up quite often).
Oh well, life is full of small mysteries every now and then....