Describe the assertion in exampls