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: 		add: function(criterion) {
  			this.root_array.push(criterion);
  			$(this.root_div).insert(criterion.root_div_holder, {position: 'bottom'});
  			$('selected_criterion_name').update(criterion.name);
  			//TODO: Remove 
  			$('rubric_levels').show();
  		},
  		remove: function(criterion) {
  			this.root_array = this.root_array.without(criterion);
  			$(criterion.root_div_holder).remove();
  			$('selected_criterion_name').update('');
  			//TODO: Remove 
  			$('rubric_levels').hide();
  		},
  