[see also: wish, desire, require
The reader might want to compare this remark with [2, Cor. 3].
This module is denoted by H(X), or H(X,R) if we want to make explicit the coefficient ring.
This t has the feature we want.