Labeling reducible terms