has optional part

This is a label for hasOptionalPart.

---