Hot: liberal-logic