make the assertion a more specific