Yes, what we are currently doing is inconsistent. At one point we assume that U^\Gamma = 0 but at this point we don't. We should move to assuming that U^\Gamma=0 everywhere (until we discover it isn't!)