Deg. {1.; degeneration 2.; degree}