so, this is not the monoid on line 353. You are always taking the new value. The monoid on Time is a + b = b, not a + b = max(a, b)

This might be an acceptable approximation. But why introduce this approximation? What do we win by doing this?