Update 00.spec.md