Progress on composition.tex