Cross-reference for existences

---

HenryMatthew, CommentaryVol6, 0001-0362

---