Tags: hard-degenerate 0