Create sec4_exp.tex