Proof - knowLOG