[kb] Statements arcs reorganized to tuples
[kb] Formal proofs updated