TEST_KB built with TEST_KB by TEST_KB!