hard_degenerate