inerasible
not defined yet