Proves stuff. Chief Scientist and Co-Founder at Proofcraft.