DTV — forever is misdefined

In clause 9.4, 'forever' is defined as: "the time period that does not
start on some time point and does not end on some time point". This is
interpreted "there are two time points t1 and t2 such that the time
period does not start on t1 and does not end on t2". What is intended
is "the time period that starts on no time point and that ends on no
time point". Further, this definition does not identify any time point
sequence that makes the term 'time period' appropriate, and it
eliminates all described ways to define a time point sequence. It seems
that 'forever' should be classified 'time interval', with the above
qualifications, not 'time period'. Or perhaps the intent is: "the time
period that is the instance of each time point sequence that has no
first time point and that has no last time point".

Also, some Note should clarify the relationship of 'forever' to the Time
Axis. Clause 8.1 does not say that the Time Axis is a time interval.
Is 'forever' the time interval that is the "segment of the Time Axis"
that covers all of it? Or is 'forever' the same thing as the Time
Axis? I.e., is the Time Axis itself a time interval and 'forever' a
synonym?

Resolved by issue 17540 and 16993.

Revised Text:
Disposition: Duplicate or Merged