Text this: On a Correspondence Between Two Kinds of Bilateral Proof-Systems