Formal Vectors