New: kr-logic