Formalize Vectors

- Page 2