IndexSum != ForAll