Correct, but people do get value from a public road system existing. For example, I “use” roads when stuff gets delivered to me, or when a fire truck shows up to put out a fire at my neighbor’s house. My point is that when we do tax people for driving we’re carefully metering it for one group of people and charging another group a flat all-you-can-drive amount, which unfairly taxes people who don’t drive very much.