Это условие самого Саена :)
Его аватар 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».
Отсюда следствия автоматически:
— Вне Олейны:
\operatorname{Loc}(p)\neq N;\Rightarrow;S(p)=0.
— Внутри Олейны доспех не даёт гарантии, так как R произвольна:
(\operatorname{Loc}(p)=N\ \land\ \operatorname{Armor}(p)=\text{SAE})\not\Rightarrow S(p)=1.