So this time the file provides Document frequency, although we still know it before, but this time we use the provided frequency instead