formal vector