(@-@) (@-@) (@-@) (@-@) >< Vector vector 2018-12