Notice that 147 Eq. (6) is defined only so long as f X = g.