Text this: Classical BI: Its Semantics and Proof Theory