Assertion logic