modified:   foundations.tex