movable pulley subgroup of pulley, 2 assertions