Instructions should include migrate