Notation transcripted from paper