Update Specification.md

More stuff.