Cross-reference for strengthenings


PhilpotJC, ThroughBacasVale, 0001-0045