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