module Prof::ExternalSpec