service mover subgroup of mover, 4 assertions