equation icon  g(EA, EB) = dAB, g(K, EA) = 0, \~/ K EA = 0. (12)