Proof-tool