Outcome-based Pricing is a Verification Problem AIPricing Outcome-based Pricing is a Verification Problem