Text this: A General Schema for Bilateral Proof Rules.