[lanstin]

I find infinite dimensional spaces even of zero curvature to be a bit creepy. Especially with a vector space structure, that just makes it worse.