Improved assertion