has example

This is a label for hasExample.

---