usable tools for proofs