Proofs as texts by C.F.M. Vermeulen