Specification validation done.