Fix KB truth