Importing and Using a Specification