\appendix

%\input{definitions}
\input{fol}