At the end of the day it is clear that we have to test "properties" and not "definitions" and the code removed in this commit was the attempt to test the definition of the sum of vectors.
Merge branch 'master' of https://github.com/MirkoBonadei/journey-towards-property-based-testing