anchor.diff:  
                           function update_name(event, criterion) {
                               $(criterion).title_div.update($F(criterion.cri_name));
  +			    this.name = $F(criterion.cri_name);
  +			    $('selected_criterion_name').update(this.name);
                           }
                           $(cri_name).observe('change', update_name.bindAsEventListener(this, this));
   			
  
positive.code: 		
  		<div id="rubric_levels_pane">
  			<div id="rubric_levels_pane_menu">
  				<h1>Rubric Levels</h1>
  			</div>
  			<div id="rubric_levels_pane_list">
  				
  
negative.code: 			//The Criterion weight element
  			
  			this.weight = weight;
  			this.weight_display = new Element('input', {'class' : 'criterion_input_weight'});
  			$(this.weight_display).update(this.weight);
  			
  			var cri_weight_dec = new Element('input', {'type': 'button', 'value': '-'});
  