Email Post: Focused Proof-search in the Logic of Bunched Implications