Text this: Do Generic Proofs Improve Proof Comprehension?