> 5) TOFU, Line 242: Is this a special case to what is defined here, or
> is it different? The relevance here is not quite clear and it is not
> really used in the remainder of the text. The way it is explained is
> not clear to me (probably due to my ignorance); at the same time if it
> not really relevant for the remainder of the draft is this even needed?
Alexander Clemm asks: