Это условие самого Саена :)
Его аватар SAE20 - часть Олейны, исключительно. Любой аватар SAE20 вне Олейны - это уже не SAE20.
Правда - сие не означает, что любой, кто наденет аватар Саена в Олейне - это SAE20..
S(p)=\mathbf{1}_{{\operatorname{Loc}(p)=N}};R!\bigl(p,\operatorname{Armor}(p)\bigr)
где
\mathbf{1}_{{\operatorname{Loc}(p)=N}}=1 только если человек находится в Олейне,
а R(p,a) — любая (не фиксированная) булева функция, задающая «кто в Олейне - действительно SAE».
Отсюда...