localizingBCR/tracebackB1.2: worked through 5.4, postponing 5.3