Comment by what_was_it

I wish the prose discussion would use a more traditional notation. It's just annoying trying to reason about maths in typescript.