Che relazione intercorre fra WTS e MWTS?

Esiste un teorema che afferma che per ogni sequenza di scatti ammissibile in semantica debole esiste una sequenza di scatti ammissibile in semantica monotonica debole equivalente ottenibile per semplice permutazione delle occorrenze degli scatti.