Text this: A Forgotten Theory of Proofs ?