The economics of proving exploitability