Cross-reference for strengthenings

---

PhilpotJC, ThroughBacasVale, 0001-0045

---