hard-degenerate rosalina