hard-degenerate