Finished koans on vectors