Comment Re: Libertarians should approve car-tracking & (Score 1) 362
Granny in your case still depends on roads unless granny lives in the forest and never leaves.
Every nonzero finite dimensional inner product space has an orthonormal basis. It makes sense, when you don't think about it.