Cross-reference for
haltings
PhilpotJC, ThroughBacasVale, 0208-0247