Oh, I see now.  So, where do you think the best place for it is?  Should it go in `vector-space-points`?