Fuzzy Math? Fact-Checking One Budget Proposal