Hot: reason-logic