DIS 14882:2014 NB comment JP 16:

In 30.4.1.4.1p3: The mixed condition of 3 clauses is ambiguous. Possibly, ‘or’ should be added after the 2nd clause. Please note that there is a period at the end of the original 2nd clause. It should be a comma.

Proposed change

The behavior of a program is undefined if:

• it destroys a shared_timed_mutex object owned by any thread,
• a thread attempts to recursively gain any ownership of a shared_timed_mutex, or
• a thread terminates while possessing any ownership of a shared_timed_mutex.