Ex 3.2 - improved assertion