I vote yes on Motion 40 and no on Motion 41.
I would vote yes to Motion 41 if it says the empty interval exists,
but is not the mathematical empty set, which is a member of every
set. If the empty interval is included in any interval there is no
way to force the result of any operation or function evaluation that
contains an empty interval to produce a result that includes the empty
interval. On the other hand, if the empty interval exists, is not the
mathematical empty set, and is not included in every interval, then it
is a containment failure if the evaluation of any expression or
function that includes the empty interval fails to produce a result
that includes the empty interval.
Bill