Imported definitions in definitions.