6 = 10–4*0 + U_ex(Alice) -> U_ex(Alice) = -4 Thus, EX(Alice) = 10 – 4*ED(Alice) - 4