Rewrote Assertion Engine