Rewriting of the section about generated variables