(TXT) specification.tex