pdflatex amy-specification
pdflatex amy-specification
