IntroduceLocalExtension