degeneracy.