Improved assertion rule