localizingBCR/54proof: proof; plus related papers
localizingBCR/54proof: caveat