update of Framework.tex