: (nEx 0 + nEx 1) vEx = vEx