User:Primal Zed

This user is a participant in
WikiProject Comics.

Editor since July 2008

Why Bind to Account items really are Bind to Account

Set Definitions

• Let $Chars$ be the set of all characters.

• Let $X.Items$ be the set of all items carried by character X.

• Let $X.BoA$ be the set of all Bind on Account items carried by character X.

It should be noted that $X.BoA\subset X.Items$

Function Definitions

These functions either return as true or false.

• Let $Faction(X,Y)$ be the function to denote if character X and character Y are on the same faction and same server.

• Let $Account(X,Y)$ be the function to denote if character X and character Y are on the same account.

• Let $Send(q,Y)$ be the function to denote if item q can be mailed to character Y.

Statements

• $\exists X,Y\in Chars,\forall q\in X.Items$

${\bigl (}Send(q,Y)\rightarrow Faction(X,Y){\bigr )}$

(this means that for any item q carried by character X, in order to send item q to character Y, characters X and Y have to be on the same faction and same server)

• $\exists X,Y\in Chars,\forall q\in X.BoA$

${\bigl (}Send(q,Y)\rightarrow Acount(X,Y){\bigr )}$

(this means that for any item q carried by character X, in order to send item q to character Y, characters X and Y have to be on the same account)

• $X.BoA\subset X.Items$

(this is a reminder that all BoA items are still an item; all BoA items inherit the rules for regular items)

• $\therefore \exists X,Y\in Chars,\forall q\in X.BoA$

${\bigl (}Send(q,Y)\rightarrow Faction(X,Y){\bigr )}\land {\bigl (}Send(q,Y)\rightarrow Account(X,Y){\bigr )}$

$\equiv {\bigl (}Send(q,Y)\rightarrow Faction(X,Y)\land Account(X,Y){\bigr )}$

(this means that any BoA item q, in order to send item q to character Y, both the Faction and Account conditions have to be met)