OH: "People will only verify cryptographic proofs via failed tool calls"