Verified Betting Rules