Adding an assertion