If you agree that there should be a second migration of Pi because of the locking errors of the first migration, like this