compact methods for migration down