Attempted normalization by evaluation