added assertion description