Cross-reference for
strengthenings
PhilpotJC, ThroughBacasVale, 0001-0045