Renaming Specification function to newSpecification