IntroduceRecord tests