New: liberal-logic