improved assertions