but does the pulley size matter