Hot: re-logic