FINALLY the specs are done