localizingBCR/4.5: writing up proof / plan of proof