Text this: Proof and other dilemmas