nonredemptible

not defined yet