improved assertion