finish draft writeup of equivalence between P_H and B_H