+1 verify should raise an exception.