Text this: Algebra of proofs /