Tag: rootable proofs

Rootable Proof.