Verified smooth migrations in two podcatchers.