add efd.tex