sharpen an assertion