Specs are generated