[kb] Formal statements updated