Title: A theoretical strategy for generating and testing migration models