Proofs as texts door C.F.M. Vermeulen