use an assertion