proof-driven