Update specification.tex

There. It's just 4 pages now. Lol.