fixed pulley subgroup of pulley, 1 assertions