The double-underlining is intended to alert the reader to the fact that it has been modified or affected by a later statement.
There is no meaning behind the double underlining.
mnli hypothesis: There is no meaning behind the double underlining. premise: The double-underlining is intended to alert the reader to the fact that it has been modified or affected by a later statement.