New: kr-knowledge