Correct functions for migration and new function IntroduceMutant