groove aspect of pulley, 1 assertions