Redivivus definitions