The paper is fairly carefully written,
but hard to follow, because of
unusual stylistic choices.

…and seemingly arbitrary juggling between languages, functions, and multivalued functions. Somewhere, you have read this line before.

 Onwards