No asserts violated with QEM