redivertible
not defined yet