Page "Note:It can be shown that programs that correctly use mutexes and memory order seq cst operations to prevent all data races and use no other [synchronization operations" not found :(