first minimal migration of lazy set.