Create 13-specifications.md