We have, then, a term weighting function which includes a within-document term frequency component, without (equation 8) or with (equation 10) a document-length component. We also have a document-length correction factor (equation 13) which can be applied to either 8 or 10.