redivivos