Use an import for Specification