New: re-logic