redivivus
not defined yet