Seems to be a typo here on the second to last property bullet point. a(u + v) should equal au + av

It's interesting to think of functions as vectors