https://123dok.net/document/qmjp8owq-full-abstraction-for-must-testing-preorders.html