local mover subgroup of mover, 11 assertions