Comment Re:Dont they already do this? (Score 1) 902
Right, if they just wanted the mileage, they could require that it be read at each registration renewal and your tax based on that...
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.