edited adf.tex