free formal vector