Added appendix a of svvp at
resolved conflict in atp.tex