"they generalize to hyperbolic vector spaces in the next level course".

oh, you son of a bitch.

(i don't think that's actually true.)